玩具

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


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)