Combination of transformation and schema languages described by a complete formal semantics

XML and its associated languages, namely DTD, XML Schema and XSLT, have tremendous importance for lots of applications even if their semantics is often hard to understand and incomplete. In this paper, we concentrate on transformation languages and propose a new one in XML syntax and focusing on strong specifications. Since our language is completely defined by formal semantics, conceptual drawbacks have been avoided and complexity has been reduced. Thus, static type checking could easily be provided. Finally, we combine our transformation language with our own schema language in order to perform static typing.

[1]  Christian Kirkegaard,et al.  Type Checking with XML Schema in XACT , 2005, PLAN-X.

[2]  C. M. Sperberg-McQueen,et al.  Extensible Markup Language (XML) , 1997, World Wide Web J..

[3]  Robert D. Tennent,et al.  The denotational semantics of programming languages , 1976, CACM.

[4]  C. M. Sperberg-McQueen,et al.  eXtensible Markup Language (XML) 1.0 (Second Edition) , 2000 .

[5]  Benjamin C. Pierce,et al.  Regular expression types for XML , 2000, TOPL.

[6]  David C. Fallside,et al.  Xml schema part 0: primer , 2000 .

[7]  Bertrand Meyer,et al.  Introduction to the Theory of Programming Languages , 1990 .

[8]  Giuseppe Castagna,et al.  CDuce: an XML-centric general-purpose language , 2003, ACM SIGPLAN Notices.

[9]  Jeffrey D. Ullman,et al.  Introduction to Automata Theory, Languages and Computation , 1979 .

[10]  Philip Wadler,et al.  A formal semantics of patterns in XSLT , 2000 .

[11]  Murali Mani,et al.  Taxonomy of XML schema languages using formal language theory , 2005, TOIT.

[12]  Rolf Ingold,et al.  YML: une version épurée de XML pour faciliter une spécification rigoureuse des modèles et des transformations , 2006, CIDE.

[13]  Shriram Krishnamurthi,et al.  Transformation-by-Example for XML , 2000, PADL.

[14]  Benjamin C. Pierce,et al.  The XTATIC Experience , 2004 .

[15]  Abel,et al.  A formal semantics of patterns in XSLT , 2000 .

[16]  Akihiko Tozawa.  Towards static type checking for XSLT , 2001, DocEng '01.

[17]  Benjamin C. Pierce,et al.  XDuce: A statically typed XML processing language , 2003, TOIT.