子叶

核心叶:一种逻辑加函数的语言。核心叶是一种基于扁平化技术的逻辑加函数语言。它不同于其他类似的语言,因为它能够处理部分(未定义或未终止)函数。这是通过引入数据结构和(函数)项结构之间的区别以及使用两种等式来实现的。CPOs的理论解释是一种理论上的语言解释。在这些域中,两个等式之间的差异对应于关于连续性的不同行为。与模型理论相比,基于SLD分解的操作语义是正确和完整的。最后,提出了一种比无限制SLD分辨率更有效但仍然完整的最外层策略。


zbMATH参考文献(28篇文章引用)

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