咖喱

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

此软件的关键字

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

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. Andy Serantoy，constructor公司，2015年出版的《某些系统的编译规范》（constructor，Jos，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公司