再见

Ciao系统。Ciao是一种通用编程语言,支持逻辑、约束、函数、高阶和面向对象的编程风格。它的主要设计目标是高表达能力、可扩展性、安全性、可靠性和高效执行。


zbMATH参考文献(47篇文章引用)

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