X减少 swMATH ID: 12436 软件作者: Haruo Hosoya,Benjamin C.Pierce(本杰明·皮尔斯) 描述: XDuce:一种静态类型的XML处理语言。XDouce是一种用于XML处理的静态类型编程语言。它的基本数据值是XML文档,其类型(所谓的正则表达式类型)直接对应于文档模式。XDouce还提供了一种灵活的正则表达式模式匹配形式,集成了条件分支、标记检查、子树提取以及动态类型检查。我们概述了XDouce的设计原理,开发了说明其关键特性的示例,描述了其在正则树自动机理论中的基础,并给出了其核心的完整形式化定义,以及类型安全性的证明。 主页: http://dl.acm.org/citation.cfm?id=767195 相关软件: CDuce公司;XPath(XPath);皮杜克;函数;OCaml公司;XPi公司;SPARQL公司;哈斯克尔;比西德语;Coq公司;取消QL;MetaOCaml公司;MONA公司;维基数据库;轻量级Java;耶拿;DBpedia(数据库);自由基;乌龟;克莱斯利 引用于: 53文件 全部的 前5名88位作者引用 6 维姆·马滕斯 6 法兰克·奈文 5 朱塞佩·卡斯塔尼亚 三 阿兰·弗里希 三 皮埃尔·杰奈夫耶斯 三 细谷和夫 三 科西莫·拉内夫 三 纳比尔·拉伊达 三 托马斯·施温蒂克 2 露西娅·阿西艾 2 米歇尔·博雷尔 2 萨缪尔·卡皮内蒂 2 陈海明 2 陈磊 2 菲利普·安·加德纳 2 盖斯伯特,尼尔斯 2 穆申成 2 中野圭介 2 卢卡·帕多瓦尼 1 阿尔梅德罗斯-吉梅内斯,杰苏斯·曼努埃尔 1 大卫·安科纳 1 大卫·阿斯皮纳尔 1 弗兰克·阿塔纳索夫 1 安东尼奥·贝塞拉·特隆 1 维罗尼克·本扎肯 1 爱荷华州博内娃 1 马塞洛·玛丽亚·邦桑格 1 克里斯蒂亚诺·加尔卡尼奥 1 詹姆斯·切尼 1 加布里埃尔·乔巴努 1 达里奥·科拉佐 1 达尔·齐利奥(Dal Zilio,Silvano) 1 德波尔(Frank S。 1 丹尼,尤恩 1 Enciso-Baños,F.J。 1 艾曼纽·菲利奥特 1 西尔维亚·弗里斯 1 伤口凝胶 1 乔治·盖利 1 马克·吉森 1 贝达·克里斯托夫·哈默施密特 1 罗斯·霍恩 1 胡镇江 1 我是宣城 1 维姆·詹森 1 约翰·杰林 1 川中、新亚 1 直纪小林 1 亚历山大·科尔柳科夫 1 特默尔库西亚 1 拉尔夫·拉梅尔 1 联盟,克里斯托弗 1 马丁·伦伯格 1 克里斯托夫·吕斯 1 塞尔吉奥·马菲斯 1 塞巴斯蒂安·马内思 1 保罗·曼吉 1 马林·米尔恰 1 松田和川 1 安德斯·佩佩·默勒 1 约阿希姆·尼伦 1 丹·奥尔特阿努 1 松武公园 1 大卫·J·皮尔斯。 1 文森特·昆特 1 朱里安·罗特 1 简·J·M·M·鲁顿。 1 莫马尔·萨霍 1 卡洛·萨蒂亚尼 1 弗拉迪米罗·萨松 1 亨利克·舒哈特 1 迈克尔·施瓦茨巴赫。 1 赫尔穆特·塞德尔 1 弘久世奇(Hiroyuki Seki) 1 Seo、Jeongbong 1 斯特芬·斯塔布 1 塔大海·苏达 1 Kohei Suenaga公司 1 吉崎隆田 1 Masato武一 1 Jean-Marc Talbot 1 苏菲·蒂森 1 Van den Bussche,简 1 斯迪恩·范萨梅伦 1 徐志武 1 伊索·八木 1 Akinori Yonezawa 1 乌里·扎尔法蒂 全部的 前5名14篇连载文章中引用 三 计算机程序设计科学 2 信息学报 2 SIAM计算机杂志 2 DISDBIS,Datenbanken und Informationssystemen论文 1 计算机与系统科学杂志 1 理论计算机科学 1 符号计算杂志 1 信息与计算 1 计算的形式方面 1 函数编程杂志 1 美国计算机学会期刊 1 逻辑与代数程序设计杂志 1 逻辑程序设计的理论与实践 1 程序设计中的逻辑和代数方法杂志 在3个字段中引用 53 计算机科学(68至XX) 6 数学逻辑和基础(03-XX) 1 组合数学(05-XX) 按年份列出的引文