咖喱

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

此软件的关键字

这里的任何内容都将在支持canvas元素的浏览器上被替换

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公司