子叶

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


zbMATH中的参考文献(参考文献28条)

显示第1到第20个结果,共28个。
按年份排序(引用)
  1. Hanus,Michael:函数逻辑编程:从理论到Curry(2013)
  2. 阿尔普特,M。;巴利斯,D。;科雷亚,F。;Falaschi,M.:基于规则的程序诊断和纠正的集成框架(2010)
  3. 安托伊,塞吉奥:编程与缩小:教程(2010)
  4. 拉莫斯,J.瓜达卢佩;席尔瓦,约瑟普;Vidal,Germanán:确保所需收缩计算的准终止(2007)
  5. 西蒙,卢克;班萨尔,阿杰;马莉亚,阿杰;古普塔,戈帕尔:协同逻辑编程:用共同归纳法扩展逻辑编程(2007)
  6. 艾伯特,艾薇拉;哈纳斯,迈克尔;哈奇,弗兰克;奥利弗,哈维尔;维达尔,格曼:声明性多范式语言的操作语义(2005)
  7. 函数逻辑评价(2005)
  8. 圣地亚哥埃斯科巴;梅斯盖尔,何塞;Thati,Prasanna:一般术语重写系统的自然缩小(2005)
  9. Peltier,Nicolas:具有非确定性惰性函数和内置谓词的函数一阶逻辑程序的证明过程(2004)
  10. 维达尔,格曼:功能逻辑程序的成本增加部分评估(2004)
  11. 艾伯特,艾薇拉;维达尔,格曼:函数逻辑程序专业化的狭义驱动方法(2002)
  12. 阿普特,玛里亚;科雷亚,弗朗西索;Falaschi,Moreno:功能逻辑程序的调试方案(2002)
  13. 安托伊,塞尔吉奥;伊兰佐,帕斯夸尔·朱利安;Massey,Bart:提高非确定性计算的效率(2002)
  14. 卡巴莱罗,拉斐尔;Rodríguez Artalejo,Mario:LazFunctional logic programs的声明性调试系统(2002)
  15. Albert,Elvira:多范式声明性语言的部分评估:基础、控制、算法和效率(2001)
  16. 艾伯特,艾薇拉;安托伊,塞尔吉奥;维达尔,格曼:《功能逻辑语言中部分评价的有效性测量》(2001)
  17. 阿尔门德罗斯·吉姆内斯,杰斯·M。;安东尼奥·贝塞拉·特龙:功能逻辑程序的目标导向自下而上评价框架(2001)
  18. 阿尔普特,M。;科雷亚,F.J。;Falaschi,M.:功能逻辑程序的声明性调试(2001)
  19. 阿里纳斯-桑切斯,普里;Rodríguez Artalejo,Mario:代数多态类型懒惰函数逻辑编程的一般框架(2001)
  20. 旧金山布埃诺;加西亚·德拉班达,马里亚;赫密尼基尔多,曼努埃尔;万豪,金;普埃布拉,格尔曼;Stuckey,Peter J.:模块间分析和优化编译模型(2001)