煤堆

余代数逻辑程序设计:从语义到实现。共感应定义,例如无限流的定义,通常可以用优美的逻辑程序来描述,但是对于SLD反驳来说,SLD推导落入无限循环是没有价值的。这样的定义引起了懒惰的协和推导和并行性的问题,因为这种逻辑程序的执行可以同时具有递归和协同特征。已经使用了观察和余代数语义来抽象地研究它们。编程的发展往往单独发生,通常是实现LED。在这里,我们给出了一个连贯的语义主导的问题的帐户,从抽象范畴理论语义,发展GueGuBRA表征自然产生的树木,并着手实施一个新的方言,CURP,逻辑编程,其特点是保护懒惰的Calcururistic和并行。


ZBMaX中的参考文献(17篇)2篇标准文章

显示结果1至17的17。
按年份排序(引文

  1. Dagnino,弗朗西斯科:共轴:推理系统的柔性共感性定义(2019)
  2. Fong,布兰登;扎纳西,法比奥:(共)关系的普遍结构:范畴、单性范畴和支柱(2018)
  3. Komendantskaya,Ektina;权力,约翰:逻辑编程:松弛与饱和(2018)
  4. LiPton,杰姆斯;Nieva,Susana:适用于约束逻辑程序设计语言的高阶类型理论的克里普克语义学(2018)
  5. 傅,彭;Komendantskaya,埃卡特里纳:霍恩子句逻辑中的分解和生产力的操作语义学(2017)
  6. Gallego Arias,埃米利奥Jes S;LiPton,杰姆斯;MiRiNo,胡里奥:关系机约束逻辑程序设计(2017)
  7. Komendantskaya,EkTalina;约翰,帕特丽夏;施密特,马丁:逻辑程序设计的生产力检查器(2017)
  8. Komendantskaya、埃卡特里纳、李、岳:逻辑程序设计中的生产力核心(2017)
  9. Komendantskaya,EkTalina;权力,约翰:逻辑编程中定理证明的范畴理论语义学:拥抱松弛(2016)
  10. Komendantskaya,Ektina;权力,约翰;施密特,马丁:余代数逻辑编程:从语义到实现(2016)
  11. Bonchi,FiLIPPO;ZANASI,法比奥:逻辑编程Bialgebraic语义学(2015)
  12. 傅,彭;Komendantskaya,埃卡特里纳:一种类型论的解决方法(2015)
  13. Komendantskaya、Ektina、施密特、马丁、赫拉斯、J·弥敦:利用GueGrric逻辑程序设计中的并行性(2014)
  14. Tsouanas,萨诺斯:析取逻辑程序设计的博弈语义(2013)
  15. Komendantskaya,Ektina;McCusker,盖伊;权力,约翰:逻辑编程中并行推导策略的余代数语义(2011)
  16. Komendantskaya,Ektina;权力,约翰:逻辑程序设计中的余代数推导(2011)
  17. Komendantskaya,EkTalina;权力,约翰:逻辑编程中派生的余代数语义(2011)