zbMATH参考文献(参考 61篇文章 参考)

显示第1到第20个结果,共61个。
按年份排序(引用)
  1. Yernaux,Gonzague;Vanhoof,Wim:约束逻辑编程中的反统一(2019)
  2. De Angelis,Emanuele;Fioravanti,Fabio;Pettorossi,Alberto;Proietti,Maurizio:在无归纳的情况下解决归纳数据类型的Horn条款(2018年)
  3. De Angelis,Emanuele;Fioravanti,Fabio;Pettorossi,Alberto;Proietti,Maurizio:程序验证的谓词配对(2018)
  4. Nys,Vincent;De Schreye,Danny:用于协同程序分析和编译的抽象连接部分演绎(2017)
  5. De Angelis,Emanuele;Fioravanti,Fabio;Pettorossi,Alberto;Proietti,Maurizio:通过线性化约束Horn子句证明命令式程序的正确性(2015)
  6. Leuschel,Michael;Vidal,Germanán:逻辑程序的快速离线部分评估(2014)
  7. Carette,Jacques;Kucera,Michael:对Maple的部分评价(2011)
  8. Fioravanti,Fabio;Pettorossi,Alberto;Proietti,Maurizio;Senni,Valerio:验证无限状态系统的程序专业化:实验评估(2011)
  9. Vidal,Germanán:逻辑程序连接部分评估的混合方法(2011)
  10. Bolz,Carl Friedrich;Leuschel,Michael;Rigo,Armin:走向Prolog的及时部分评估(2010)
  11. 佩托洛西,阿尔贝托;普罗埃蒂,毛里齐奥;塞尼,瓦莱里奥:项目开发的转型方法(2010)
  12. Albert,Elvira;Gallagher,John;Gómez Zamalola,Miguel;Puebla,Germanán:用于在线终止的基于类型的同胚嵌入(2009)
  13. Leuschel,Michael;Vidal,Germanán:大型逻辑程序的快速离线部分评估(2009)
  14. Albert,Elvira;Gallagher,John;Gómez Zamalola,Miguel;Puebla,Germanán:基于类型的同胚嵌入及其在在线部分评估中的应用(2008)
  15. Barker,Steve;Leuschel,Michael;Varea,Mauricio:通过Jones最优逻辑程序专业化实现高效和灵活的访问控制(2008)
  16. Akama,Kiyoshi;Nantajeewarawat,Ekawit;Koike,Hidekatsu:使用挤压法在等效变换计算模型中生成程序(2007)
  17. Arroyo,Gustavo;Ramos,J.Guadalupe;Silva,Josep;Vidal,Germanán:使用尺寸变化图改进离线变窄驱动的部分评估(2007)
  18. 埃斯科巴,圣地亚哥;梅斯盖尔,何塞;塔蒂,普拉桑纳:缩小和重写逻辑:从基础到应用(2007)
  19. Leuschel,Michael;Craig,Stephen John;Elphick,Dan:使用在线技术监督逻辑程序的离线部分评估(2007)
  20. Ochoa,Claudio;Puebla,germanán:多控制部分评价的实用性研究(2007)