3 search results - page 1 / 1 » XML with Data Values: Typechecking Revisited |
PODS
2001
ACM
14 years 4 months ago
2001
ACM
CC
2005
Springer
13 years 10 months ago
2005
Springer
Abstract. Xtatic is a lightweight extension of C offering native support for statically typed XML processing. XML trees are built-in values in Xtatic, and static analysis of the t...
POPL
2005
ACM
14 years 5 months ago
2005
ACM
Despite the extensiveness of recent investigations on static typing for XML, parametric polymorphism has rarely been treated. This well-established typing discipline can also be u...