Show simple item record

dc.contributor.authorKfoury, Assaf J.en_US
dc.contributor.authorBradley, Adam D.en_US
dc.contributor.authorBestavros, Azeren_US
dc.date.accessioned2011-10-20T04:19:14Z
dc.date.available2011-10-20T04:19:14Z
dc.date.issued2004-02-13
dc.identifier.urihttps://hdl.handle.net/2144/1535
dc.description.abstractWe present a type system, StaXML, which employs the stacked type syntax to represent essential aspects of the potential roles of XML fragments to the structure of complete XML documents. The simplest application of this system is to enforce well-formedness upon the construction of XML documents without requiring the use of templates or balanced "gap plugging" operators; this allows it to be applied to programs written according to common imperative web scripting idioms, particularly the echoing of unbalanced XML fragments to an output buffer. The system can be extended to verify particular XML applications such as XHTML and identifying individual XML tags constructed from their lexical components. We also present StaXML for PHP, a prototype precompiler for the PHP4 scripting language which infers StaXML types for expressions without assistance from the programmer.en_US
dc.description.sponsorshipNational Science Foundation (ANI-9986397, CCR-9988529, ITR-0113193, ANI-0205294, EIA-0202067)en_US
dc.language.isoen_US
dc.publisherBoston University Computer Science Departmenten_US
dc.relation.ispartofseriesBUCS Technical Reports;BUCS-TR-2004-007
dc.titleStaXML: Static Typing of XML Document Fragments for Imperative Web Scripting Languagesen_US
dc.typeTechnical Reporten_US


This item appears in the following Collection(s)

Show simple item record