咖喱

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


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

显示第43至第1个结果。
按年份排序(引用)
  1. 阿尔普特,M。;Cuenca Ortega,A。;埃斯科瓦尔。;Meseguer,J.:有序等式程序模公理的部分评估框架(2020)
  2. 阿普特,玛里亚;圣地亚哥埃斯科巴;萨皮娜,茱莉亚;Ballis,Demis:Maude理论与Narval的符号分析(2019)
  3. Sandra Dylus,Jan Christiansen,Finn Teegen:使用非严格非确定性实现概率规划库(2019)阿尔十四
  4. 安托伊,塞尔吉奥;Hanus,Michael:将布尔等式转化为约束(2017)
  5. 安托伊,塞尔吉奥;哈纳斯,迈克尔:咖喱的默认规则(2017)
  6. 七鳃鳗;王加洛瓦,黛安;Hriţcu,Cătălin;休斯,约翰;皮尔斯,本杰明C。;夏,李瑶:初学者的运气:基于财产的发电机的语言(2017)
  7. 安托伊,塞尔吉奥;哈纳斯,迈克尔:从布尔等式到约束(2015)
  8. 安托伊,塞尔吉奥;Jost,Andy:在某些构造函数系统中编译崩溃规则(2015)
  9. Kirchner,Hélene:重写策略和战略重写计划(2015)
  10. 安托伊,塞尔吉奥;Andy Textheitta函数式逻辑(Andy TextHeitta,2014)
  11. Escobar,圣地亚哥:Maude函数逻辑编程(2014)
  12. 哈纳斯,迈克尔;Koschnicke,Sven:一个基于ER的声明性web编程框架(2014)ioport公司
  13. Lindblad,Fredrik:高阶逻辑的聚焦序列演算(2014)
  14. Hanus,Michael:函数逻辑编程:从理论到Curry(2013)
  15. 安托伊,塞尔吉奥;彼得斯,亚瑟:《编译功能逻辑语言:基本方案》(2012)ioport公司
  16. 费尔南德斯,玛丽贝尔;基什内尔,Hélène;Namet,Olivier:图形重写的策略语言(2012)
  17. Köksal,阿里·西南;昆卡,维克托;Suter,Philippe:约束作为控制(2012)ioport公司
  18. 伯纳德,布拉埃勒;哈纳斯,迈克尔;皮默勒,比约恩;费比安:KiCS2:从Curry到Haskell的新编译器(2011)ioport公司
  19. 克里斯蒂安森,一月;塞德尔,但以理;Voigtländer,Janis:typed FlatCurry的适当的、指称的、函数式的语义(2011)
  20. 乔治·乔治·乔治;Nilsson,Henrik:迭代阶段DSL的混合级嵌入和JIT编译(2011)ioport公司