遥控玩具

玩具:一个多范例声明系统。玩具是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)