涂片

CDuce:一种以XML为中心的通用语言。我们介绍了函数式语言CDuce,讨论了一些设计问题,并展示了它对于处理XML文档的充分性。CDuce的显著特点是强大的模式匹配、一级函数、重载函数、非常丰富的类型系统(箭头、序列、对、记录、交集、并集、差异)、模式的精确类型推断和错误定位,以及类型作为值集的自然解释。我们还概述了一些重要的实施问题;特别是一个调度算法,它演示了如何使用静态类型信息来获得非常高效的编译模式。


zbMATH中的参考文献(参考文献49条,1标准件)

显示第1到第20个结果,共49个。
按年份排序(引用)
  1. 我,贤承;格内夫ès、 皮埃尔;杰斯伯特,尼尔斯;拉亚ïda,Nabil:XML查询的向后类型推理(2020)
  2. 佐治亚州科斯塔塞科ão;费雷拉,保罗;楼人ço、 Hugo:基于能力的分布式异构查询本地化(2017)
  3. 莱恩伯格,马丁;ä夫人,拉尔夫;Staab,Steffen:《语义数据函数编程的本质》(2017)
  4. 乔巴努,加布里埃尔;Horne,Ross:使用结构微积分对会话进行行为分析(2016)
  5. 乔巴努,加布里埃尔;霍恩,罗斯;Sassone,Vladimiro:RDF模式的描述性类型基础(2016)
  6. 奥利维拉,布鲁诺哥伦比亚特区。;史志远;阿普里姆,乔ão: 不相交交叉口类型(2016)
  7. 格内夫ès、 皮埃尔;拉亚ï达,纳比勒;施密特,艾伦;Gesbert,Nils:有限树上的有效判定(\mu)-逆演算(2015)
  8. 拉尼芙,科西莫;Padovani,Luca:web服务契约的代数理论(2015)
  9. 邦桑格,马塞洛;腐烂,朱瑞安;安科纳,戴维德;德波尔,弗兰克;Rutten,Jan:Cogebraic foundation for coinductive union types(2014年)
  10. 本扎肯,Vé浪人;卡斯塔格纳,朱塞佩;阮,金;Sim卡é开,Jérôme:NoSQL语言的静态和动态语义(2013)
  11. 小林,直木:模型检验高阶程序(2013)
  12. 皮尔斯,大卫J.:有联合,交叉和否定的健全和完全流类型(2013)
  13. 卡斯塔格纳,朱塞佩;徐志平,参数多态性理论基础(2011)
  14. 杰斯伯特,尼尔斯;格内夫ès、 皮埃尔;拉亚ïda,Nabil:参数多态性和语义子类型:逻辑连接(2011)
  15. Hosoya,Haruo:XML处理的基础。树自动机方法(2011年)
  16. 陈雷;陈海明:不相交产生式规则规则树文法的子类型化算法(2010)
  17. 林德克内赫特,基督徒;Volanschi,Nic:元计算的非解析模式的理论与实践(2010)
  18. 辛,但以理;鲍尔斯,肖恩;Kö赫勒,斯文;路德äscher,Bertram:通过MapReduce并行化XML数据流工作流(2010)
  19. 卡皮内蒂,萨缪尔;拉尼芙,科西莫;Padovani,Luca:PiDuce—一个试验web服务技术的项目(2009)
  20. 格内夫ès、 皮埃尔;拉亚ï达,纳比勒;Quint,Vincent:识别查询与不断发展的XML模式的不兼容性(2009)