遥控玩具

玩具：一个多范例声明系统。玩具是CRWL的具体实现，CRWL是声明性编程的一个广泛的理论框架，其基础是基于构造函数的重写逻辑，以懒惰的非确定性函数为核心概念。玩具所支持的CRWL的其他方面有：多态类型、HO特征、相等和不平等约束和实数的线性约束；目标求解通过必要的变窄结合约束求解。该实现是基于将玩具程序编译成PROlog的。

本软件关键词

这里的任何东西都将在支持画布元素的浏览器上被替换。

ZBMaCT中的参考文献（55篇文章中引用）

显示结果1至20的55。
按年份排序（引文）
  1. Antoy、塞尔吉奥、约斯特、安迪：功能逻辑语言的编译：\TeXTITE公平方案（2014）
  2. Francisco J.，Martin Martin，恩里克；罗德里格斯-霍塔尔，胡安：用不透明模式和局部绑定实现功能逻辑程序的安全打字（2014）
  3. RoeSo，Adr.An；Rodr Guez HoTala.，胡安：函数逻辑程序设计的单数和复数函数（2014）
  4. Hanus，米迦勒：功能逻辑程序设计：从理论到咖喱（2013）
  5. 阿尔门德罗斯-吉姆·奈兹，J. M.；卡巴雷罗，R；加利亚阿鲁兹，Y.；ShanaZun-P Erz，F:函数逻辑语言中的XPath查询处理（2012）伊波尔特
  6. 埃斯特韦茨马丁，索尼亚；科雷亚斯·费尔南德斯，杰斯·S·S·Z·S·P·雷兹，费尔南多：用（MathMeCl ^ i MaTrimps^ E）求解整数集（（2012））来扩展（\ MathCalpod）系统
  7. Hanus，米迦勒：通过需求分析改进懒惰非确定性计算（2012）
  8. 文胸、贝尔恩德、菲舍尔、塞巴斯蒂安、Hanus、米迦勒、雷克、Fabian：把功能逻辑程序转换成一元函数程序（2011）
  9. Del-VADO-V·ReSeDA，拉斐尔：数值约束域高阶合作的理论框架（2011）
  10. Del-VADO-V·ReSeDA，拉斐尔：高阶泛函与逻辑规划中代数约束域的合作（2011）
  11. Hanus，米迦勒：函数逻辑程序的惰性和可执行断言（2011）伊波尔特
  12. 阿尔蓬特，玛丽亚；Ballis，德米斯；法拉奇，莫雷诺：功能逻辑程序的转换与调试（2010）
  13. 科雷亚，F，Falaschi，M.：一个基于规则的程序的诊断和纠正的集成框架（2010）
  14. Escobar，Falaschi，M.；伊沃拉：J.：术语重写系统的紧凑不动点语义（2010）
  15. Antoy，塞尔吉奥：窄化编程：教程（2010）
  16. DelVADO V.ReSeda，拉斐尔；CasTi NeaRas，伊格纳西奥：用lambda抽象声明功能性逻辑程序调试的理论框架（2010）
  17. Nishida，Naoki；维达尔，GeaMnn:终止重写终止缩小（2010）
  18. DelVADOVIrRSEDA，拉斐尔：声明性约束编程中调试的逻辑框架（2009）
  19. 《胸罩》、《贝尔恩德》、《克里斯琴》、《简》：通过转换来象征。通过转换为点自由风格来获得指称语义（2008）
  20. 卡巴莱罗，拉斐尔；罗德里格斯-阿塔莱霍，马里奥；德尔瓦多·V·里塞达，拉斐尔：约束函数逻辑程序设计中缺失答案的陈述式诊断（2008）