XDuce公司

XDuce：一种静态类型的XML处理语言。XDuce是一种用于XML处理的静态类型编程语言。它的基本数据值是XML文档，它的类型（所谓的正则表达式类型）直接对应于文档模式。XDuce还提供了一种灵活的正则表达式模式匹配形式，集成了条件分支、标记检查、子树提取以及动态类型检查。我们调查了XDuce的设计原理，开发了示例来说明它的关键特性，描述了它在正则树自动机理论中的基础，给出了其核心的完整形式化定义，并给出了类型安全性的证明。

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

此软件的关键字

这里的任何内容都将在支持canvas元素的浏览器上被替换

zbMATH参考文献（参考 54篇文章 参考）

显示第1到第20个结果，共54个。
按年份排序(引用)
  1. Im，Hyeonseung；Genevès，Pierre；Gesbert，Nils；Layaïda，Nabil:XML查询的反向类型推理（2020）
  2. Leinberger，Martin；Lämmel，Ralf；Staab，Steffen：语义数据上函数式编程的本质（2017）
  3. Ciobanu，Gabriel；Horne，Ross；Sassone，Vladimiro:RDF模式的描述性类型基础（2016）
  4. Kutsia，Temur；Marin，Mircae:正则表达式顺序排序的统一与匹配（2015）
  5. Laneve，Cosimo；Padovani，Luca:web服务契约的代数理论（2015）
  6. Bonsangue，Marcello；Rot，Jurriaan；Ancona，Davide；de Boer，Frank；Rutten，Jan:共同生产工会类型的煤炭基础（2014年）
  7. Dennübasis，and basis questions for sential transformations（大卫•艾斯皮纳（Davidün，2013）；语义转换的基础知识（Denn；AspüL，2013）
  8. 皮尔斯，大卫J.：有联合，交叉和否定的健全和完全流类型（2013）
  9. Seo，Jeongbong；Park，Sungwoo：具有交叉口类型和模态类型的判断子类型系统（2013）
  10. Maneth，Sebastian；Friese，Sylvia；Seidl，Helmut：树木行走传感器的类型检查（2012年）
  11. Backes，Michael；Hriţcu，Cătălin；Tarrach，Thorsten:自动验证数据处理语言的输入约束（2011）ioport公司
  12. Castagna，Giuseppe；Xu，Zhiwu:参数多态性和亚型化的理论基础（2011）
  13. Gesbert，Nils；Genevès，Pierre；Layaïda，Nabil:参数多态性和语义子类型：逻辑联系（2011）
  14. Hosoya，Haruo:XML处理的基础。树自动机方法。（2011年）
  15. 陈磊；陈海明：不相交产生式规则正则树文法的子类型化算法（2010）
  16. 松田，Kazutaka；Mu，Shin Cheng；Hu，镇江；Takeichi，Masato：基于语法的可逆程序方法（2010）
  17. 2009年，Piducei，Paducei网络服务公司；Piducei公司，2009年
  18. Gelade，Wouter；Martens，Wim；Neven，Frank:优化XML模式语言：数值约束和交错（2009）
  19. Genevès，Pierre；Layaïda，Nabil；Quint，Vincent:识别查询与不断发展的XML模式的不兼容性（2009）
  20. Martens，Wim；Neven，Frank；Schwentick，Thomas:XML模式和链正则表达式决策问题的复杂性（2009）