玩具

玩具：一个多传统的声明系统。TOY是CRWL的具体实现，CRWL是一个广泛的声明性编程理论框架，其基础是一个基于构造函数的重写逻辑，其核心概念是惰性非确定性函数。TOY支持的CRWL的其他方面有：多态类型；HO特征；等式和病态约束对条件的约束，线性约束对实数的约束；通过需求变窄和约束求解相结合的方法来解决目标。这个实现是基于将玩具程序编译成Prolog的。

此软件的关键字

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

zbMATH参考文献（参考 55篇文章

显示第1到第20个结果，共55个。
按年份排序(引用)
  1. Antoy，Sergio；Jost，Andy:编译函数逻辑语言：\textitTheFair Scheme（2014）
  2. López Fraguas，Francisco J.；Martin Martin，Enrique；Rodríguez Hortalá，Juan:具有不透明模式和本地绑定的功能逻辑程序的安全类型（2014）
  3. Riesco，Adrián；Rodríguez Hortalá，Juan:函数逻辑编程的单数和复数函数（2014）
  4. Hanus，Michael:函数逻辑编程：从理论到Curry（2013）
  5. Almendros Jiménez，J.M.；Caballero，R.；García-Ruiz，Y.；Sáenz-Pérez，F.：函数逻辑语言中的XPath查询处理（2012）ioport公司
  6. Estévez Martín，Sonia；Correas Fernández，Jesús；sáenz-Pérez，Fernando:用（\mathrmECL^i\mathrmPS^e）解算器扩展（\mathcalTOY）系统（2012）
  7. Hanus，Michael:通过需求分析改进懒惰的非确定性计算（2012）
  8. Braßel，Bernd；Fischer，Sebastian；Hanus，Michael；Reck，Fabian：将函数逻辑程序转换为单体函数程序（2011）
  9. del Vado Vírseda，Rafael:数值约束域高阶合作的理论框架（2011）
  10. del Vado Vírseda，Rafael:高阶泛函与逻辑规划中代数约束域的合作（2011）
  11. Hanus，Michael:函数逻辑程序的懒惰和可执行断言（2011）ioport公司
  12. Maria Alpuente；Ballis，Demis；Falaschi，Moreno:功能逻辑程序的转换和调试（2010）
  13. alpunte，M.；Ballis，D.；Correa，F.；Falaschi，M.：基于规则程序诊断和纠正的集成框架（2010）
  14. alpunte，M.；Comini，M.；Escobar，S.；Falaschi，M.；Iborra，J.：术语重写系统的紧凑不动点语义（2010）
  15. 安托伊，塞吉奥：编程与缩小：教程（2010）
  16. del Vado Vírseda，Rafael；Castiñeiras，Ignacio：用lambda抽象对函数逻辑程序进行声明性调试的理论框架（2010）
  17. Nishida，Naoki；Vidal，Germanán:通过终止重写终止缩小范围（2010）
  18. del Vado Vírseda，Rafael:声明性约束编程中调试的逻辑框架（2009）
  19. 布拉•艾尔，伯恩德；克里斯蒂安森，简：通过转换来表示。通过转换到无点风格获得指称语义（2008）
  20. Caballero，Rafael；Rodríguez Artalejo，Mario；del Vado Vírseda，Rafael:约束函数逻辑编程中缺失答案的声明性诊断（2008）