巴别塔

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


zbMATH中的参考文献,1标准件)

显示第1到第20个结果,共71个。
按年份排序(引用)
  1. Hanus,Michael:函数逻辑编程:从理论到Curry(2013)
  2. Maria Alpuente;Ballis,Demis;Falaschi,Moreno:功能逻辑程序的转换和调试(2010)
  3. alpunte,M.;Ballis,D.;Correa,F.;Falaschi,M.:基于规则程序诊断和纠正的集成框架(2010)
  4. Alpuente,M.;Escobar,S.;Gramlich,B.;Lucas,S.:随需应变策略注释回顾:改进的按需评估策略(2010)
  5. 安托伊,塞吉奥:编程与缩小:教程(2010)
  6. Moreno,Ginés:基于相似性的等式与懒惰评价(2010)
  7. Nishida,Naoki;Vidal,Germanán:通过终止重写终止缩小范围(2010)
  8. 维达尔,格曼:在左线性构造器系统中终止变窄(2008)
  9. 阿布拉莫夫,谢尔盖;葛吕克,罗伯特;克里莫夫,尤里:惰性语言逆计算的通用解析算法(2007)
  10. Arroyo,Gustavo;Ramos,J.Guadalupe;Silva,Josep;Vidal,Germanán:使用尺寸变化图改进离线变窄驱动的部分评估(2007)
  11. Gallego Arias,Emilio Jesús;Mariño Carballo,Julio;Rey Poza,JoséMaría:咖喱中疾病限制的提议(2007)
  12. Hofstedt,Petra;Pepper,Peter:声明式和约束式编程的集成(2007)
  13. Ramos,J.Guadalupe;Silva,Josep;Vidal,Germanán:确保所需收缩计算的准终止(2007)
  14. Silva,Josep;Vidal,Germanán:通过部分评估对函数逻辑程序的正向切片(2007)
  15. Alemandros Jiménez,Jesús M.;Becerra Terón,Antonio:数据库查询语言和函数逻辑编程(2006)
  16. 基于网站的验证(2006年)ioport公司
  17. Antoy,Sergio;Hanus,Michael:函数逻辑程序中的重叠规则和逻辑变量(2006)
  18. Casas,Amadeo;Cabeza,Daniel;Hermenegildo,Manuel V.:在LP系统中结合函数表示法、懒惰求值和高阶的句法方法(2006)
  19. 多语义学;多语义学;多语义学
  20. Alpuente,María;Lucas,Salvador;Vidal,Germanán;Hanus,Michael:基于所需缩小的函数逻辑程序的专业化(2005)