再见

此软件的关键字
数学参考文献
Arias,Joaqueín;Carro,Manuel:使用表列CLP*评估抽象解释算法的实施情况*(2019年) Lipton,James;Nieva,Susana:用于约束逻辑编程语言的高阶类型理论的Kripke语义(2018) Liqat,Umer;Banković,Zorana;Lopez Garcia,Pedro;Hermenegildo,Manuel V.:通过基本区块的静态程序分析和演化建模推断能量边界(2018年) Lopez Garcia,P.;Darmawan,L.;Klemen,M.;Liqat,U.;Bueno,F.;Hermenegildo,M.V.:基于区间的资源使用验证(通过转换为Horn条款和能源消耗应用)(2018年) Schulze Frielinghaus,Stefan;Seidl,Helmut;Vogler,Ralf:强制终止过程间分析(2018) Straccia,Umberto;Bobillo,Fernando:从模糊到注释语义web语言(2017) García-Contreras,Isabel;Morales,JoséF.;Hermenegildo,Manuel V.:语义代码浏览(2016) Haemmerlé,R.;López García,P.;Liqat,U.;Klemen,M.;Gallagher,J.P.;Hermenegildo,M.V.:参数累积成本静态分析的转换方法(2016年) Lopez Garcia,P.;Klemen,M.;Liqat,U.;Hermenegildo,M.V.:参数资源使用静态分析的一般框架(2016年) Morales,JoséF.;Carro,Manuel;Hermenegildo,Manuel:Prolog方言中抽象机器的描述和优化(2016) Stulova,Natalia;Morales,JoséF.;Hermenegildo,Manuel V.:通过不引人注目的属性缓存进行实际运行时检查(2015) Serrano,A.;Lopez Garcia,P.;Hermenegildo,M.V.:通过使用大小类型进行抽象解释的逻辑程序的资源使用分析(2014) Albert,Elvira;Arenas,Puri;Genaim,Samir;Puebla,German;Zanardini,Damiano:面向对象字节码程序的成本分析(2012) Lopez Garcia,Pedro;Darmawan,Luthfi;Bueno,Francisco;Hermenegildo,Manuel:基于区间的资源使用验证:形式化和原型(2012) Albert,Elvira;Arenas,Puri;Genaim,Samir;Puebla,Germanán:静态成本分析中的封闭式上界(2011) 卢伦金:逻辑程序的多态型依赖分析(2011) Sáenz-Pérez,Fernando:DES:演绎数据库系统(2011) ioport公司 Lopez Garcia,Pedro;Bueno,Francisco;Hermenegildo,Manuel:使用模式和类型分析的逻辑程序确定性和互斥性的自动推理(2010) Lopez Garcia,Pedro;Darmawan,Luthfi;Bueno,Francisco:资源使用属性验证和调试框架:资源使用验证(2010) Cousot,Patrick;Cousot,Radhia;Giacobazzi,Roberto:《基于解析的语义的抽象解释》(2009)