古怪的

XCentric:XML处理的逻辑编程。这里我们介绍逻辑编程语言XCentric,讨论设计问题,并展示它对XML处理的充分性。XCentric的显著特点是一种功能强大的术语统一算法(与XML文档非常接近),以及一种使用诸如重复(*)、交替等运算符的富类型语言,as类型允许使用具有任意数量参数的函子对术语进行紧凑表示(与XML的标准类型语言密切相关)。这种新的统一形式加上对类型的适当使用在编程中产生了很大程度的灵活性。

这个软件也是同行评审按日记帐汤姆斯.


zbMATH参考文献(参考 6篇文章 参考)

显示结果1到6,共6个。
按年份排序(引用)

  1. Kurtanidze,Lia;Rukhaia,Mikhail:Skolemization in Unrankled logics(2018年)
  2. Dundua,Besik;Florido,Mário;Kutsia,Temur;Marin,Mircea:CLP((\mathsfH)):对冲的约束逻辑编程(2016)
  3. Dundua,Besik;Florido,Mário;Kutsia,Temur;Marin,Mircea:模糊限制语的约束逻辑编程:语义重构(2014)
  4. Alpuente,María;Ballis,Demis;Falaschi,Moreno;Frechina,Francisco;Romero,Daniel:XML存储库的基于重写的修复策略(2013)
  5. Almendros Jiménez,J.M.;Caballero,R.;García-Ruiz,Y.;Sáenz-Pérez,F.:函数逻辑语言中的XPath查询处理(2012)ioport公司
  6. Almendros Jiménez,Jesus M.;Caballero,Rafael;García-Ruiz,Yolando;Sáenz-Pérez,Fernando:函数逻辑语言中的XQuery(\mathcalTOY)(2011)ioport公司