×
安德斯·默勒;迈克尔·施瓦茨巴赫

程序分析中的XML图。 （英语） Zbl 1215.68079号

科学。计算。程序。 76，第6期，492-515（2011）.
摘要：XML图已被证明是一种简单有效的形式，用于表示程序分析中的XML文档集。它经历了六年的发展，为一系列应用量身定制了各种变体。我们提出了一个统一的定义，概述了关键属性，包括针对不同XML模式语言验证XML图，并提供了一个软件包，使其他人能够利用这些思想。我们还调查了使用四种截然不同的语言对XML图进行程序分析的情况：Xact（Java中的XML）、Java Servlet（Web应用程序编程）、XSugar（XML和非XML数据之间的转换）和XSLT（转换XML文档的样式表）。

引用于三文件

MSC公司：

68N99型 软件理论
68甲15 编程语言理论
68兰特 计算机科学中的图论（包括图形绘制）
68磅05分 数据结构

关键词：

XML编程;XML有效性;类型检查

软件：

XPath（XPath）;函数;煤烟;放松NG;X乌干达
PDF格式BibTeX公司 XML格式引用
\textit{A.Möller}和\textit{M.Schwartzbach}，科学。计算。程序。76，No.6，492--515（2011；Zbl 1215.68079）
全文： DOI程序

参考文献：

[1] Vidur Apparao等人，《文档对象模型（DOM）1级规范》，1998年10月。W3C建议。http://www.w3.org/TR/REC-DOM-Level-1网站/
[2] Philippe Audebaud、Kristoffer Rose、样式表验证。技术报告RR2000-37，ENS Lyon，2000年11月
[3] 亨宁·伯特格；莫勒，安德斯；Michael I.Schwartzbach：《web服务程序员和HTML设计者之间的合作合同》，《web工程杂志》第5期，第1期，65-89页（2006年）
[4] 布拉布兰德，克劳斯；Robert Giegerich；莫勒，安德斯：《分析无语境语法的歧义性》，Lncs 4783（2007）·Zbl 1139.68348号
[5] 克劳斯·布拉布兰德（Claus Brabrand）、安德斯·默勒（Anders Möller）、迈克尔·I。Schwartzbach，动态生成HTML的静态验证，in：Proc。ACM SIGPLAN-SIGSOFT软件工具和工程程序分析研讨会，PASTE’01，2001年6月，第221–231页
[6] 布拉布兰德，克劳斯；莫勒，安德斯；Schwartzbach，Michael I.：《XML语言的双重语法》，信息系统33，第4期（2008年）·兹比尔1159.68407
[7] 问西蒙·克里斯滕森、安德斯·莫勒、迈克尔·。Schwartzbach，动态XML的静态分析。技术报告RS-02-24，金砖国家，2002年5月。发表于PLAN-X'02 XML编程语言技术·Zbl 1067.68541号
[8] 克里斯滕森，问西蒙；莫勒，安德斯；Schwartzbach，Michael I.：《为高级web服务构建扩展Java》，《编程语言和系统上的ACM事务》25，第6期，814-875（2003）
[9] 克里斯滕森，问西蒙；莫勒，安德斯；Michael I.Schwartzbach：字符串表达式的精确分析，Lncs 2694,1-18（2003）·Zbl 1067.68541号
[10] 詹姆斯·克拉克；庄：
[11] James Clark，XSL转换（XSLT），1999年11月，W3C推荐。http://www.w3.org/TR/xslt
[12] James Clark，RELAX NG compact syntax，2002年11月，OASIS。http://relaxng.org/compact.html
[13] James Clark，Steve DeRose，XML路径语言，1999年11月，W3C推荐。网址：http://www.w3.org/TR/xpath
[14] James Clark，Makoto Murata，RELAX NG规范，2001年12月，OASIS。http://www.oasis-open.org/committees/relax-ng/
[15] H.Comon、M.Dauchet、R.Gilleron、F.Jacquemard、D.Lugiez、S.Tison、M.Tommasi，《树自动机技术和应用》，1999年。可从http://www.grappa.univ-lille3.fr/tata网站/
[16] 董策；James Bailey：XSLT程序的静态分析（2004）
[17] Mary Fernández、Ashok Malhotra、Jonathan Marsh、Marton Nagy、Norman Walsh、XQuery 1.0和XPath 2.0数据模型（XDM），2006年11月，W3C建议建议。http://www.w3.org/TR/xpath数据模型/
[18] 维达尔·布朗肯·冈德森（Vidar Bronken Gundersen），泽格尔·W·。Hendrikse，BibTeXML，2005年。http://bibtexml.sourceforge.net/
[19] 细野县；Pierce，Benjamin C.：Xduce:一种类型化XML处理语言，Lncs 1997（2000）·Zbl 1323.68076号
[20] 细野县；杰罗姆·沃伊隆（Jerome Vouillon）；Pierce，Benjamin C.：XML的正则表达式类型，编程语言和系统上的ACM事务27，第1期，46-90（2005）·Zbl 1321.68197号
[21] John B.Kam。；杰弗里·乌尔曼：《单调数据流分析框架》，《信息学报》第7期，第305-317页（1977年）·Zbl 0375.68020号 ·doi:10.1007/BF00290339
[22] Kohsuke Kawaguchi，RELAX NG转换器。http://wwws.sun.com/software/xml/developers/relaxngconverter/
[23] 马丁·坎帕（Martin Kempa）；Linnemann，Volker：XOBE中的类型检查，Lni 26（2003）
[24] Christian Kirkegaard，Anders Möller，用Xact中的XML模式进行类型检查。技术报告RS-05-31，金砖国家，2005年。在PLAN-X'06 XML编程语言技术大会上发表
[25] 克里斯蒂安·柯克加德（Christian Kirkegaard）；莫勒，安德斯：Java servlet和JSP的静态分析，Lncs 4134（2006）
[26] 克里斯蒂安·柯克加德（Christian Kirkegaard）；莫勒，安德斯；Schwartzbach，Michael I.：Java中XML转换的静态分析，IEEE软件工程事务30，第3期，181-192（2004）
[27] Christian Kirkegaard，Anders Møller，dk.brics.schematools，2007年。http://www.brics.dk/schematools网站/
[28] Knuth，Donald E.：括号语言的特征，信息和控制11，269-289（1967）·Zbl 0196.01703号 ·doi:10.1016/S0019-9958（67）90564-5
[29] Sören Kuula，实用类型安全XSLT 2.0样式表创作。奥胡斯大学计算机科学系硕士论文，2006年
[30] Leuf、Bo；坎宁安，沃德：维基方式：网上快速协作，（2001年）
[31] Sebastian Maneth、Alexandru Berlea、Thomas Perst、Helmut Seidl，《使用宏树转换器进行XML类型检查》，摘自：Proc。第24届ACM SIGMOD-SIGACT-SIGART数据库系统原理研讨会，2005年5月，第283-294页
[32] 维姆·马滕斯；Frank Neven：自上而下统一无等级树传感器的类型检查，Lncs 2572（2003）·Zbl 1022.68037号
[33] Wim Martens，Frank Neven，类型检查简单XML转换的易处理性前沿，在：Proc。第23届ACM SIGMOD-SIGACT-SIGART数据库系统原理研讨会，2004年4月，第23-34页·Zbl 1115.68058号
[34] Laurent Mauborgne：正则树的增量唯一表示法，《北欧计算杂志》第7期，第4期，290-311页（2000）·Zbl 0971.68122号
[35] 托瓦·米洛；丹·苏秋；Vianu，Victor:XML转换器的类型检查，《计算机和系统科学杂志》66，66-97（2002）·Zbl 1026.68045号 ·doi:10.1016/S0022-0000（02）00030-2
[36] 莫赫里（Mohri，Mehryar）；Nederhof，Mark-Jan：通过变换对无上下文文法的正则近似，（2001）·Zbl 0989.68124号
[37] Anders Møller，基于事件的XML处理的静态分析。技术报告RS-06-16，金砖国家，2006年10月
[38] 莫勒，安德斯；马德索斯特比·奥尔森；Schwartzbach，Michael I.：XSL转换的静态验证，编程语言和系统上的ACM事务29，第4期（2007年）
[39] 莫勒，安德斯；Schwartzbach，Michael I.：XML转换语言类型检查器的设计空间，Lncs 3363，17-36（2005）·Zbl 1112.68372号 ·doi:10.1007/b104421
[40] 迈克尔·安德斯·默勒。Schwartzbach，程序分析中的XML图（特邀论文），收录于：Proc。2007年1月，2007年7月，ACM SIGPLAN部分评估和程序操作研讨会·Zbl 1215.68079号
[41] 村田，Makoto；李东元；马尼，穆拉利；Kawaguchi，Kohsuke:使用形式语言理论的XML模式语言分类，ACM Internet技术事务5，第4期，660-704（2005）
[42] 尼尔森，弗莱明；尼尔森、汉内·里斯；克里斯·汉金：《程序分析原理》（1999）·Zbl 0932.68013号
[43] 托马斯·雷普斯：《通过图形可达性进行程序分析》，《信息与软件技术》第40期，第11–12期，第701-726页（1998年）
[44] 亨利·S·。Thompson、David Beech、Murray Maloney、Noah Mendelsohn，《XML模式第1部分：结构》第二版，2004年10月。W3C建议。http://www.w3.org/TR/xmlschema-1/
[45] Akihiko Tozawa，面向XSLT的静态类型检查，在：Proc。ACM文件工程研讨会，DocEng'01，2001年11月·Zbl 1185.68203号
[46] 拉贾·瓦利·雷伊；劳里·亨德伦；维杰·桑德雷桑；Patrick Lam；艾蒂安·加格农；Co，Phong:Soot–Java优化框架（1999）
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。