子叶

此软件的关键字
zbMATH参考文献(28篇文章引用)
Hanus,Michael:函数逻辑编程:从理论到Curry(2013) alpunte,M.;Ballis,D.;Correa,F.;Falaschi,M.:基于规则程序诊断和纠正的集成框架(2010) 安托伊,塞吉奥:编程与缩小:教程(2010) Ramos,J.Guadalupe;Silva,Josep;Vidal,Germanán:确保所需收缩计算的准终止(2007) Simon,Luke;Bansal,Ajay;Mallya,Ajay;Gupta,Gopal:协同逻辑编程:用coinduction扩展逻辑编程(2007) 阿尔伯特,埃尔维拉;哈纳斯,迈克尔;哈奇,弗兰克;奥利弗,哈维尔;维达尔,格曼:声明性多范式语言的操作语义(2005) 安托伊,塞吉奥:函数逻辑程序设计的评价策略(2005) 埃斯科巴,圣地亚哥;梅斯盖尔,何塞;塔蒂,普拉桑纳:一般术语重写系统的自然缩小(2005) Peltier,Nicolas:具有非确定性惰性函数和内置谓词的函数一阶逻辑程序的证明过程(2004) 维达尔,格曼:功能逻辑程序的成本增加部分评估(2004) Albert,Elvira;Vidal,Germanán:函数逻辑程序专业化的缩小驱动方法(2002) alpunte,María;Correa,Franciso;Falaschi,Moreno:功能逻辑程序的调试方案(2002) Antoy,Sergio;Iranzo,Pascual Julián;Massey,Bart:提高非确定性计算的效率(2002) 拉斐尔·卡巴列罗;罗德里格斯·阿塔列霍,马里奥:一个惰性函数逻辑程序的声明性调试系统(2002) Albert,Elvira:多范式声明性语言的部分评估:基础、控制、算法和效率(2001) Albert,Elvira;Antoy,Sergio;Vidal,Germanán:测量函数逻辑语言中部分求值的有效性(2001) Almendros Jiménez,Jesús M.;Becerra Terón,Antonio:功能逻辑程序的目标导向自下而上评估框架(2001) alpunte,M.;Correa,F.J.;Falaschi,M.:功能逻辑程序的声明性调试(2001) Arenas-Sánchez,Puri;Rodríguez Artalejo,Mario:lazy functional logic programming with代数多态类型的一般框架(2001) Bueno,Francisco;García de la Banda,María;Hermenegildo,Manuel;万豪,Kim;Puebla,Germanán;Stuckey,Peter J.:模块间分析和优化编译模型(2001)