再见

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


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

显示第1到第20个结果,共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)