709 search results - page 31 / 142 » Type Checking in XOBE |
PODS
2005
ACM
14 years 7 months ago
2005
ACM
MSO logic on unranked trees has been identified as a convenient theoretical framework for reasoning about expressiveness and implementations of practical XML query languages. As a...
POPL
2002
ACM
14 years 7 months ago
2002
ACM
CSL
2009
Springer
14 years 2 months ago
2009
Springer
LOPSTR
2001
Springer
13 years 12 months ago
2001
Springer
LICS
1990
IEEE
13 years 11 months ago
1990
IEEE
E cient automatic model checking algorithms for real-time systems have been obtained in recent years based on the state region graph technique of Alur, Courcoubetis and Dill. Howev...