zbMATH中的参考文献(参考文献61条)

显示第61至第20个结果。
按年份排序(引用)
  1. 耶诺,冈萨格;Vanhoof,Wim:约束逻辑编程中的反统一(2019)
  2. 德安吉丽斯,伊曼纽尔;费奥拉万蒂,法比奥;佩托罗斯,阿尔伯托;Proietti,Maurizio:解决归纳数据类型的Horn条款,无需归纳(2018)
  3. 德安吉丽斯,伊曼纽尔;费奥拉万蒂,法比奥;佩托罗斯,阿尔伯托;Proietti,Maurizio:用于程序验证的谓词配对(2018)
  4. 纽约,文森特;De Schreye,Danny:用于协同程序分析和编译的抽象连接部分演绎(2017)
  5. 德安吉丽斯,伊曼纽尔;费奥拉万蒂,法比奥;佩托罗斯,阿尔伯托;Proietti,Maurizio:通过线性化约束Horn子句证明命令程序的正确性(2015)
  6. 鲁舍尔,迈克尔;维达尔,细菌án: 逻辑程序的快速离线部分评估(2014)
  7. 卡莱特,雅克;库塞拉,迈克尔:对枫树的部分评价(2011)
  8. 费奥拉万蒂,法比奥;佩托罗斯,阿尔伯托;普罗耶蒂,毛里齐奥;塞尼,瓦莱里奥:验证无限状态系统的程序专门化:实验评估(2011)
  9. 维达尔,细菌án: 逻辑程序合取部分评价的混合方法(2011)
  10. 波茨,卡尔·弗里德里希;鲁舍尔,迈克尔;Rigo,Armin:Prolog的及时部分评估(2010)
  11. 佩托罗斯,阿尔伯托;普罗耶蒂,毛里齐奥;塞尼,瓦莱里奥:项目开发的转型方法(2010)
  12. 艾伯特,艾薇拉;加拉赫,约翰;Gó米盖尔,米盖尔;普埃布拉,格尔姆án: 基于类型的同胚嵌入在线终止(2009)
  13. 鲁舍尔,迈克尔;维达尔,细菌án: 大型逻辑程序的快速离线部分评估(2009)
  14. 艾伯特,艾薇拉;加拉赫,约翰;Gó米盖尔,米盖尔;普埃布拉,格尔姆án: 基于类型的同胚嵌入及其在在线部分评价中的应用(2008)
  15. 巴克,史蒂夫;鲁舍尔,迈克尔;Varea,Mauricio:通过Jones最优逻辑程序专业化实现高效和灵活的访问控制(2008)
  16. 阿卡玛,清石;南塔杰瓦拉瓦特,埃卡维特;Koike,Hidekatsu:使用挤压法在等效变换计算模型中生成程序(2007)
  17. 阿罗约,古斯塔沃;拉莫斯,J。瓜达卢佩;席尔瓦,约瑟普;维达尔,细菌án: 使用尺寸变化图改进离线变窄驱动的部分评估(2007)
  18. 圣地亚哥埃斯科巴;梅斯盖尔,乔斯é; Thati,Prasanna:缩小和重写逻辑:从基础到应用(2007)
  19. 鲁舍尔,迈克尔;克雷格,斯蒂芬·约翰;Dan Elphick:使用在线技术监督逻辑程序的离线部分评估(2007)
  20. 奥乔亚,克劳迪奥;普埃布拉,格尔姆án: 多控制部分评价的实用性研究(2007)