zbMATH中的参考文献（参考文献49条)

1. 加西亚·孔特雷拉斯，伊莎贝尔；莫拉莱斯，何塞芙。；Hermenegildo，Manuel V.：增量和模块化上下文敏感分析（2021）
2. 乔瓦尼·卡亚托、罗伯塔·卡列加里、安德烈亚·奥米奇尼：2P Kt：符号人工智能的基于逻辑的生态系统（2021）不是zbMATH
3. 阿里亚斯，乔奎因；Carro，Manuel:使用表列CLP*评估抽象解释算法的实施（2019年）
4. 利普顿，詹姆斯；Nieva，Susana:用于约束逻辑编程语言的高阶类型理论的Kripke语义（2018）
5. 里卡，乌默尔；班科维奇，佐拉纳；洛佩兹·加西亚，佩德罗；Hermenegildo，Manuel V.：通过静态程序分析和基本区块的演化建模推断能量边界（2018）
6. 洛佩兹·加西亚，P。；达玛湾，L。；克莱曼，M。；利卡，美国。；布埃诺，F。；Hermenegildo，M.V.：基于区间的资源使用验证转化为Horn条款和能源消耗应用（2018）
7. 舒尔茨·弗里林豪斯，斯特凡；塞德尔，赫尔穆特；沃格勒，拉尔夫：强制终止过程间分析（2018）
8. 狭隘，翁贝托；Bobillo，Fernando:从模糊到注释语义web语言（2017）
9. 加西亚-康特拉斯，伊莎贝尔；莫拉莱斯，何塞芙。；Hermenegildo，Manuel V.：语义代码浏览（2016）
10. 哈默尔，R。；加塞，洛城。；利卡，美国。；克莱曼，M。；加拉赫，J.P。；Hermenegildo，M.V.：参数累积成本静态分析的转换方法（2016）
11. 洛佩兹·加西亚，P。；克莱曼，M。；利卡，美国。；Hermenegildo，M.V.：参数资源使用静态分析的一般框架（2016）
12. 莫拉莱斯，何塞芙。；卡罗，曼纽尔；Hermenegildo，Manuel:Prolog方言中抽象机器的描述与优化（2016）
13. 斯图洛娃，娜塔莉亚；莫拉莱斯，何塞芙。；Hermenegildo，Manuel V.：通过不引人注目的属性缓存进行实际运行时检查（2015）
14. 塞拉诺，A。；洛佩兹·加西亚，P。；Hermenegildo，M.V.：通过使用大小类型的抽象解释对逻辑程序的资源使用分析（2014）
15. 艾伯特，艾薇拉；阿里纳斯，普里；杰纳姆，萨米尔；普埃布拉语，德语；Zanardini，Damiano:面向对象字节码程序的成本分析（2012）
16. 洛佩兹·加西亚，佩德罗；达马旺，卢特菲；旧金山布埃诺；基于原型和Negildo的验证（基于原型的验证，2012年）
17. 艾伯特，艾薇拉；阿里纳斯，普里；杰纳姆，萨米尔；Puebla，Germanán:静态成本分析中的闭式上界（2011）
18. 卢伦金：逻辑程序的多态型依赖分析（2011）
19. Sáenz-Pérez，Fernando:DES:演绎数据库系统（2011）ioport公司
20. 洛佩兹·加西亚，佩德罗；旧金山布埃诺；Hermenegildo，Manuel:使用模式和类型分析的逻辑程序确定性和互斥性的自动推理（2010）