仁叶

内核叶:逻辑加功能语言。内核叶是一种基于平坦化技术的逻辑加功能语言。它不同于其他类似的语言,因为它能够应付部分(未定义或非终止)函数。这是通过引入数据结构和(功能)项结构之间的区别,并通过使用两种相等性来实现的。该语言有一个干净的模型理论语义,其中的解释域是代数CPOS。在这些域中,两个等式之间的差异对应于连续性的不同行为。基于模型理论的操作语义(基于SLD分辨率)被证明是完备性的。最后,一个最外面的策略,比不受限制的SLD分辨率更有效,但仍然是完整的。


ZBMaCT中的参考文献(28篇文章中引用)

显示结果1至20的28。
按年份排序(引文
  1. Hanus,米迦勒:功能逻辑程序设计:从理论到咖喱(2013)
  2. 科雷亚,F,Falaschi,M.:一个基于规则的程序的诊断和纠正的集成框架(2010)
  3. Antoy,塞尔吉奥:窄化编程:教程(2010)
  4. 拉莫斯,J. Guadalupe;席尔瓦,Josep;维达尔,GeaMnN:确保必要的缩小计算的准终止(2007)
  5. 西蒙,卢克;班萨尔,阿杰伊;马利亚,阿杰伊;Gupta,Gopal:共逻辑程序设计:用共归纳法扩展逻辑程序(2007)
  6. 艾伯特,Elvira;Hanus,米迦勒;HuCH,弗兰克;奥利弗,哈维尔;Fig,Geimann:声明性多范式语言的操作语义(2005)
  7. Antoy,塞尔吉奥:函数逻辑程序设计的评价策略(2005)
  8. Escobar,圣地亚哥;梅塞格,约瑟夫;TaTi,Prasanna:一般术语重写系统的自然变窄(2005)
  9. Peltier,尼古拉斯:具有非确定性惰性函数和内建谓词的泛函一阶逻辑程序的证明过程(2004)
  10. 维达尔,GrimaNN:功能逻辑程序的成本增强部分评价(2004)
  11. 艾伯特,Elvira;维达尔,格尔曼:功能逻辑程序专门化的狭隘驱动方法(2002)
  12. 科雷亚,弗朗西斯;法拉西,莫雷诺:功能逻辑程序的调试方案(2002)
  13. Antoy,塞尔吉奥;Iranzo,Pascual Juli,Massey,巴特:提高非确定性计算的效率(2002)
  14. CabaleRo,拉斐尔;Rodr Guez Atalejo,马里奥:一个用于懒惰函数逻辑程序的声明性调试系统(2002)
  15. 艾伯特,Elvira:多范式声明性语言的部分评价:基础、控制、算法和效率(2001)
  16. 艾伯特,Elvira;安托尔,塞尔吉奥;维达尔,格尔曼:测量函数逻辑语言中部分评价的有效性(2001)
  17. 阿尔门德罗斯-吉姆·奈兹,Jes’s M;Beela Tr.n,安东尼奥:功能性逻辑程序的目标自底向上评价框架(2001)
  18. 科雷亚,F. J.;FalasCi,M.:函数逻辑程序的声明式调试(2001)
  19. Puri阿里纳斯- S·恩切兹;罗德里格斯-阿塔莱戈,马里奥:代数多态型懒惰函数逻辑程序设计的一般框架(2001)
  20. 布埃诺,弗朗西斯科;Garc·阿德·拉班达,马里亚;HelMeigeldo.曼努埃尔;万豪,基姆;普埃布拉,格尔曼;Stuckey,Peter J.:一种模块间分析和优化编译的模型(2001)