再见

CiaoPP是Ciao多范式程序开发环境中基于抽象解释的预处理器。CiaoPP可以在(Ciao)Prolog程序上执行许多程序调试、分析和源代码到源代码的转换任务。这些任务包括:程序谓词和文本属性的推理,包括类型、模式和其他变量实例化属性、非失败性、确定性、计算成本的界限、程序中术语大小的界限等。某些静态调试和验证,在运行程序之前查找错误。这包括检查程序如何调用系统库谓词,以及检查程序或程序使用的其他模块中存在的断言。这种断言基本上代表了程序的部分规范。几种源到源程序的转换,如程序专门化、切片、程序的部分求值、程序并行化(考虑粒度控制)、包含在编译时无法完全检查的断言的运行时测试等系统中使用分析器来证明不可信的移动代码在给定策略下是安全的(即,移动代码安全的抽象承载代码方法)。


zbMATH参考文献(41篇文章引用,1标准件)

显示第1到第20个结果,共41个。
按年份排序(引用)
  1. Arias,Joaqueín;Carro,Manuel:使用表列CLP*评估抽象解释算法的实施情况*(2019年)
  2. Lipton,James;Nieva,Susana:用于约束逻辑编程语言的高阶类型理论的Kripke语义(2018)
  3. Lopez Garcia,P.;Darmawan,L.;Klemen,M.;Liqat,U.;Bueno,F.;Hermenegildo,M.V.:基于区间的资源使用验证(通过转换为Horn条款和能源消耗应用)(2018年)
  4. Schulze Frielinghaus,Stefan;Seidl,Helmut;Vogler,Ralf:强制终止过程间分析(2018)
  5. García-Contreras,Isabel;Morales,JoséF.;Hermenegildo,Manuel V.:语义代码浏览(2016)
  6. Haemmerlé,R.;López García,P.;Liqat,U.;Klemen,M.;Gallagher,J.P.;Hermenegildo,M.V.:参数累积成本静态分析的转换方法(2016年)
  7. Lopez Garcia,P.;Klemen,M.;Liqat,U.;Hermenegildo,M.V.:参数资源使用静态分析的一般框架(2016年)
  8. Morales,JoséF.;Carro,Manuel;Hermenegildo,Manuel:Prolog方言中抽象机器的描述和优化(2016)
  9. Stulova,Natalia;Morales,JoséF.;Hermenegildo,Manuel V.:通过不引人注目的属性缓存进行实际运行时检查(2015)
  10. Serrano,A.;Lopez Garcia,P.;Hermenegildo,M.V.:通过使用大小类型进行抽象解释的逻辑程序的资源使用分析(2014)
  11. Albert,Elvira;Arenas,Puri;Genaim,Samir;Puebla,German;Zanardini,Damiano:面向对象字节码程序的成本分析(2012)
  12. 艾尔伯特·普瑞尔(Albert Negaren,2012年);艾尔伯特·普瑞尔(Albert Negaren),抽象体;埃弗拉规范(2012年)
  13. Lopez Garcia,Pedro;Darmawan,Luthfi;Bueno,Francisco;Hermenegildo,Manuel:基于区间的资源使用验证:形式化和原型(2012)
  14. Albert,Elvira;Arenas,Puri;Genaim,Samir;Puebla,Germanán:静态成本分析中的封闭式上界(2011)
  15. 卢伦金:逻辑程序的多态型依赖分析(2011)
  16. Lopez Garcia,Pedro;Bueno,Francisco;Hermenegildo,Manuel:使用模式和类型分析的逻辑程序确定性和互斥性的自动推理(2010)
  17. Lopez Garcia,Pedro;Darmawan,Luthfi;Bueno,Francisco:资源使用属性验证和调试框架:资源使用验证(2010)
  18. 佛罗伦萨,卡米洛;莫米利亚诺,阿尔伯托;奥纳吉,马里奥:走向答案集编程的类型学科(2009)
  19. Gras,Daniel Cabeza;Hermenegildo,Manuel V.:使用共享和自由信息的非严格独立程序并行化(2009)
  20. 阿尔伯特,埃尔维拉;普埃布拉,格尔曼;赫密尼基尔多,曼努埃尔:《抽象承载代码:移动代码安全模型》(2008)

更多出版物请访问:http://clip.dia.fi.upm.es/~clip/Software/Ciao/ciaopp-1.2.0.html/ciaopp_ref_manrefs.html