CDuce公司 swMATH ID: 12434 软件作者： 本扎肯，维罗尼克；朱塞佩·卡斯塔尼亚；阿兰·弗里希 描述： CDuce：一种以XML为中心的通用语言。我们介绍了函数式语言CDuce，讨论了一些设计问题，并展示了它对于处理XML文档的充分性。CDuce的显著特点是强大的模式匹配、一流的函数、重载函数、非常丰富的类型系统（箭头、序列、对、记录、交集、并集、差异）、模式的精确类型推断和错误定位，以及将类型作为值集的自然解释。我们还概述了一些重要的实施问题；特别是一个调度算法，它演示了如何使用静态类型信息来获得非常有效的编译模式。 主页： 网址：http://www.cduce.org/ 关键词： CDuce公司；XML格式；XML处理；类型系统 相关软件： X减少；函数；XPath（XPath）；哈斯克尔；OCaml公司；皮杜克；斯卡拉；克莱斯利；SPARQL公司；莫德；ATERM公司；XPi公司；取消QL；Groovy语言；JavaScript脚本；内默尔；F类#；SLAM公司；MONA公司；网址（Ur/Web） 引用于： 48文件 标准条款 1出版物描述软件，包括1出版物以zbMATH为单位 年份 CDuce：一种以XML为中心的通用语言。 Zbl 1315.68046号维罗尼克·本扎肯；朱塞佩·卡斯塔尼亚；阿兰·弗里希 2003 全部的 前5名被78位作者引用 6 朱塞佩·卡斯塔尼亚 5 阿兰·弗里希 4 达里奥·科拉佐 4 皮埃尔·杰奈夫耶斯 4 纳比尔·拉伊达 三 尼尔斯·盖斯伯特 三 卡洛·萨蒂亚尼 2 维罗尼克·本扎肯 2 陈海明 2 加布里埃尔·乔巴努 2 乔治·盖利 2 罗斯·霍恩 2 直纪小林 2 科西莫·拉内夫 2 保罗·曼吉 2 马滕斯，维姆 2 穆申成 2 中野圭介 2 法兰克·奈文 2 卢卡·帕多瓦尼 1 露西娅·阿奇艾 1 阿尔梅德罗斯-吉梅内斯，杰苏斯·曼努埃尔 1 Joao Alpuim 1 大卫·安科纳 1 安东尼奥·贝塞拉·特隆 1 马塞洛·玛丽亚·邦桑格 1 米歇尔·博雷尔 1 肖恩·鲍尔斯 1 萨缪尔·卡皮内蒂 1 切尼，詹姆斯 1 Costa Seco，若昂 1 帕斯卡·库佩 1 德波尔（Frank S。 1 Enciso-Baños，F.J。 1 艾曼纽·菲利奥特 1 克里斯托夫·福奎雷 1 马克·吉森 1 细谷和夫 1 胡镇江 1 我是宣城 1 杰罗·凯特马 1 斯文·科勒 1 拉尔夫·拉梅尔 1 马丁·伦伯格 1 Jean-Vincent洛多 1 雨果·卢伦索 1 卢，肯尼·卓明 1 伯特伦·卢德谢尔 1 詹姆斯·马盖特森 1 安德斯·佩佩·默勒 1 格雷戈里·内弗罗夫 1 佐藤奥奎 1 布鲁诺·C·d·S·奥利维拉。 1 大卫·J·皮尔斯。 1 文森特·昆特 1 克里斯蒂安·林德克内特 1 朱里安·罗特 1 简·J·M·M·鲁顿。 1 弗拉迪米罗·萨松 1 阿兰·施密特 1 迈克尔·施瓦茨巴赫。 1 史志远 1 杰罗姆·西蒙 1 雅各布·格鲁·西蒙森 1 斯特芬·斯塔布 1 Kohei Suenaga公司 1 马丁·苏尔兹曼 1 铃木、太郎 1 唐·赛姆 1 Masato Takeichi 1 Jean-Marc Talbot 1 苏菲·蒂森 1 斯迪恩·范萨梅伦 1 埃尔科·维瑟 1 尼克·沃兰斯基 1 徐志武 1 Akinori Yonezawa 1 丹尼尔·津恩 全部的 前5名12篇连载文章中引用 三 计算机程序设计科学 2 计算机与系统科学杂志 2 函数编程杂志 2 美国计算机学会期刊 1 理论计算机科学 1 符号计算杂志 1 信息与计算 1 计算的形式方面 1 高阶和符号计算 1 逻辑程序设计理论与实践 1 ACM计算逻辑汇刊 1 程序设计中的逻辑和代数方法杂志 在2个字段中引用 48 计算机科学（68至XX） 5 数学逻辑和基础（03-XX） 按年份列出的引文