X中心 swMATH ID: 9889 软件作者: 科埃略,J.,弗洛里多,M。 描述: XCentric:用于XML处理的逻辑编程。在这里,我们介绍了逻辑编程语言XCentric,讨论了设计问题,并展示了它对XML处理的充分性。XCentric的显著特点是,它是一种强大的术语统一算法,具有任意arity的函子(与XML文档密切对应),并且是一种使用重复(*)、交替等运算符的丰富类型语言,作为类型,允许使用具有任意数量参数的函子对术语进行紧凑表示(与XML的标准类型语言密切相关)。这种新的统一形式与类型的适当使用在编程中产生了很大程度的灵活性。 主页: http://dl.acm.org/citation.cfm?id=1316904 相关软件: CLP(柔性);莫德;数学软件;枣灰蝶属;验证日志;汤姆;ASF+SDF;XPath日志;XPath(XPath);玩具;哈斯克尔;X标记 引用于: 5文件 全部的 前5名11位作者引用 三 Besik Dundua 三 特默尔库西亚 三 马林·米尔恰 2 马里奥弗洛里多 1 玛丽亚·阿尔普特 1 黛米斯·巴利斯 1 莫雷诺,法拉斯基 1 弗朗西斯科·弗雷奇纳 1 Lia Kurtanidze 1 丹尼尔·罗梅罗(Daniel M.Romero)。 1 米哈伊尔·鲁卡亚 4篇连载文章中引用 1 符号计算杂志 1 TICMI公告 1 逻辑与代数程序设计杂志 1 逻辑程序设计理论与实践 在2个字段中引用 5 计算机科学(68至XX) 1 数学逻辑和基础(03-XX) 按年份列出的引文