咖喱

库里:一种真正的函数逻辑语言。函数式编程和逻辑编程是最重要的声明式编程范式,在过去的十年里,人们对将它们结合起来的兴趣与日俱增。然而,集成函数逻辑语言目前还没有得到广泛的应用。这是由于人们对运算原理的理解不够深入,人们提出了许多不同的评价策略,从而产生了许多不同的功能逻辑语言。为了克服这种情况,我们提出了一种功能逻辑语言Curry,它可以作为这一领域的标准语言。它包含了现有函数逻辑语言的重要思想和最新发展,并结合了函数逻辑语言和逻辑语言最重要的特点。因此,Curry可以作为一个基础,将目前分离的函数和逻辑编程社区的研究成果结合起来,并促进一般的声明式编程。。。


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

显示第1到第20个结果,共42个。
按年份排序(引用)
  1. Alpuente,M.;Cuenca-Ortega,A.;Escobar,S.;Meseguer,J.:有序等式程序的部分评估框架-模公理(2020)
  2. 阿普特,马里亚;埃斯科巴,圣地亚哥;萨皮娜,茱莉亚;巴利斯,德米斯:莫德理论与纳瓦尔的象征分析(2019)
  3. Sandra Dylus,Jan Christiansen,Finn Teegen:使用非严格非确定性实现概率规划库(2019)阿尔十四
  4. 安托伊,塞尔吉奥;哈纳斯,迈克尔:咖喱的默认规则(2017)
  5. Antoy,Sergio;Hanus,Michael:将布尔等式转化为约束(2017)
  6. Lampropoulos,Leonidas;Galois Wong,Diane;Hriţcu,Cătălin;Hughes,John;Pierce,Benjamin C.;Xia,Li yao:《初学者的运气:基于财产的发电机的语言》(2017)
  7. 安托伊,塞尔吉奥;哈纳斯,迈克尔:从布尔等式到约束(2015)
  8. Antoy,Sergio;Jost,Andy:在某些构造函数系统中编译崩溃规则(2015)
  9. Kirchner,Hélene:重写策略和战略重写计划(2015)
  10. Antoy,Sergio;Jost,Andy:编译函数逻辑语言:\textitTheFair Scheme(2014)
  11. Escobar,圣地亚哥:Maude函数逻辑编程(2014)
  12. Hanus,Michael;Koschnicke,Sven:一个基于ER的声明性web编程框架(2014)ioport公司
  13. Lindblad,Fredrik:高阶逻辑的聚焦序列演算(2014)
  14. Hanus,Michael:函数逻辑编程:从理论到Curry(2013)
  15. Antoy,Sergio;Peters,Arthur:编译功能逻辑语言:基本方案(2012)ioport公司
  16. 费南德斯,玛丽贝尔;基什纳,赫勒;纳梅特,奥利维尔:图形重写的策略语言(2012)
  17. Köksal,Ali Sinan;Kuncak,Viktor;Suter,Philippe:约束作为控制(2012)ioport公司
  18. Braßel,Bernd;Hanus,Michael;Peemöller,Björn;Reck,Fabian:KiCS2:从Curry到Haskell的新编译器(2011)ioport公司
  19. Christiansen,Jan;Seidel,Daniel;Voigtländer,Janis:类型化FlatCurry的适当的、指称的、函数式的语义(2011)
  20. georgidze,georgidze;Nilsson,Henrik:迭代阶段DSL的混合级嵌入和JIT编译(2011)ioport公司