遥控玩具

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


ZBMaCT中的参考文献(55篇文章中引用)

显示结果41至55的55。
按年份排序(引文

以前

  1. Brasel.B.;Hanus,M.;HuCh,F;席尔瓦,J;维达尔,G:函数逻辑程序的运行时间分析(2005)
  2. CabaleRo,拉斐尔;Rodr Guez Atalejo,马里奥:(\ MathCaldDT):函数逻辑语言的声明性调试工具(2004)
  3. 阿尔门德罗斯-吉姆·奈兹,Jes’s M.;Beela Tr.n,安东尼奥:函数逻辑演绎数据库的安全关系演算(2003)
  4. 卡巴莱罗,拉斐尔;L·Pez Fracuas,Francisco Javier:改进懒惰函数逻辑语言中的确定性计算(2003)
  5. L.Pez Fracuas,F. J.;ShannChz Hern AnnDEz,J.:函数逻辑程序设计中的失效与平等(2003)
  6. F. J.,阿隆索,J. A.;伊达尔戈州,M. J.;Ruiz Reina,J. L.:ACL2中合成SAT的通用框架的验证(2003)
  7. 艾伯特,Elvira;维达尔,格尔曼:功能逻辑程序专门化的狭隘驱动方法(2002)
  8. Antoy,塞尔吉奥;Iranzo,Pascual Juli,Massey,巴特:提高非确定性计算的效率(2002)
  9. CabaleRo,拉斐尔;Rodr Guez Atalejo,马里奥:一个用于懒惰函数逻辑程序的声明性调试系统(2002)
  10. 费尔南德斯,Antonio J.;霍塔尔-冈萨雷兹,特蕾莎;S·S·P·雷兹,费尔南多:用约束函数逻辑语言求解组合问题(2002)
  11. L.Pez Fracuas,Francisco Javier;ShannChz Hern AnnDEZ,Jime:函数逻辑程序中的缩窄失效(2002)
  12. 艾伯特,Elvira;安托尔,塞尔吉奥;维达尔,格尔曼:测量函数逻辑语言中部分评价的有效性(2001)
  13. 艾伯特,Elvira;Hanus,米迦勒;维达尔,Geimann:一个实用的多范式声明语言部分评价器(2001)
  14. 阿尔门德罗斯-吉姆·奈兹,Jes’s M;Beela Tter n,安东尼奥;Shanncz Hern AnnDEz,雅伊姆:函数逻辑演绎数据库的计算模型(2001)
  15. L.Pez Fracuas,F. J.;ShannChz Hern AnnDEZ,J:功能逻辑编程与失败:面向集合的视图(2001)

以前