XDuce公司

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

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


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

显示第1到第20个结果,共54个。
按年份排序(引用)
  1. Im,Hyeonseung;Genevès,Pierre;Gesbert,Nils;Layaïda,Nabil:XML查询的反向类型推理(2020)
  2. 《语义编程的本质》(Martin StanbeläLäf,2017年;斯泰芬语义学(The Essential of semantic data);马丁•斯坦伯格(Martin StanbeläLäLäf);语义编程(The Essential of The functional data;The
  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. David Aspinall;Denney,Ewen;Lüth,Christoph:证据查询和转换的语义基础(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. Carpineti,Samuele;Laneve,Cosimo;Padovani,Luca:PiDuce——一个试验web服务技术的项目(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)