巴别塔

带函数和谓词的逻辑程序设计:巴别尔语言。我们研究了实验性编程语言BABEL,旨在以一种简单、灵活和数学良好的方式实现函数式编程(HOPE、Standard、ML或MIRANDA)和逻辑编程(PROLOG)的集成。该语言依赖于构造器规程,非常适合容纳PROLOG术语和HOPE-like模式。从句法的角度来看,巴贝尔将纯PROLOG与一阶函数表示法结合起来。另一方面,该语言使用窄化作为一种惰性约简语义的基础,该语义既包含重写又包含SLD解析,并支持具有潜在无限数据结构的计算。还有一个基于Scott域的声明语义,它为BABEL程序提供了一个最小Herbrand模型的概念。我们发展了这两种语义,证明了最小Herbrand模型的存在性,并证明了具有声明性的约简语义w.r.t.的正确性。最后,我们给出了约简语义的完备性结果,并通过一些编程实例说明了该语言的特点


zbMATH中的参考文献(参考文献71篇文章,第1条标准)

显示第1到第20个结果,共71个。
按年份排序(引用)
  1. Hanus,Michael:函数逻辑编程:从理论到Curry(2013)
  2. 阿普特,玛丽亚;巴利斯,黛米斯;Falaschi,Moreno:功能逻辑程序的转换与调试(2010)
  3. 阿尔普特,M。;巴利斯,D。;科雷亚,F。;Falaschi,M.:基于规则的程序诊断和纠正的集成框架(2010)
  4. 阿尔普特,M。;埃斯科瓦尔。;格雷姆利希B。;Lucas,S.:重新审视随需应变策略注释:改进的按需评估策略(2010)
  5. 安托伊,塞吉奥:编程与缩小:教程(2010)
  6. Moreno,Ginés:基于相似性的等式与懒惰评价(2010)
  7. 西田、直木;Vidal,Germanán:通过终止重写终止缩小范围(2010)
  8. 维达尔,格曼:在左线性构造器系统中终止变窄(2008)
  9. 阿布拉莫夫,谢尔盖;格吕克,罗伯特;Klimov,Yuri:惰性语言逆计算的通用解析算法(2007)
  10. 阿罗约,古斯塔沃;拉莫斯,J.瓜达卢佩;席尔瓦,约瑟普;Vidal,Germanán:使用尺寸变化图改进离线变窄驱动的部分评估(2007)
  11. 加列戈·阿里亚斯,埃米利奥·杰斯;马里诺·卡巴罗,朱利奥;Rey Poza,JoséMaría:咖喱中疾病限制的提议(2007)
  12. 霍夫斯泰特,佩特拉;Pepper,Peter:声明式和约束式编程的集成(2007)
  13. 拉莫斯,J.瓜达卢佩;席尔瓦,约瑟普;Vidal,Germanán:确保所需收缩计算的准终止(2007)
  14. 席尔瓦,约瑟普;维达尔,格曼:功能逻辑程序部分评价的前向切片(2007)
  15. 亚历曼德罗斯·吉姆内斯,杰斯·M。;Becerra Terón,Antonio:数据库查询语言和函数逻辑编程(2006)
  16. 阿尔普特,M。;巴利斯,D。;Falaschi,M.:基于规则的网站验证(2006)ioport公司
  17. 安托伊,塞尔吉奥;Hanus,Michael:函数逻辑程序中的重叠规则和逻辑变量(2006)
  18. 卡萨,阿玛狄欧;但以理,卡贝萨;Hermenegildo,Manuel V.:在LP系统中结合函数符号、惰性求值和高阶的句法方法(2006)
  19. 艾伯特,艾薇拉;哈纳斯,迈克尔;哈奇,弗兰克;奥利弗,哈维尔;维达尔,格曼:声明性多范式语言的操作语义(2005)
  20. 阿普特,玛里亚;卢卡斯,萨尔瓦多;维达尔,格尔曼;Hanus,Michael:基于需要缩小的函数逻辑程序的专业化(2005)