3 search results - page 1 / 1 » XML with Data Values: Typechecking Revisited |
55
Voted
PODS
2001
ACM
15 years 9 months ago
2001
ACM
CC
2005
Springer
15 years 3 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...
157
Voted
POPL
2005
ACM
15 years 10 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...