46 search results - page 2 / 10 » Exact XML Type Checking in Polynomial Time |
GI
2004
Springer
13 years 10 months ago
2004
Springer
: There is an emerging amount of software for generating and manipulating XML documents. This paper addresses the problem of guaranteeing the validity of dynamically generated XML ...
BTW
2003
Springer
13 years 10 months ago
2003
Springer
: XML is the upcoming standard for internet data. Java is the most important programming language for internet applications. Nevertheless, in today’s languages and tools there is...
TLCA
2007
Springer
13 years 11 months ago
2007
Springer
We present a size-aware type system for first-order shapely function definitions. Here, a function definition is called shapely when the size of the result is determined exactly...
PPDP
2010
Springer
13 years 2 months ago
2010
Springer
We propose a model for XML update primitives of the W3C XQuery Update Facility as parameterized rewriting rules of the form: "insert an unranked tree from a regular tree lang...
CSFW
2008
IEEE
13 years 11 months ago
2008
IEEE
Zdancewic and Myers introduced observational determinism as a scheduler independent notion of security for concurrent programs. This paper proposes a type system for verifying obs...