Login / Signup
A Pushdown Machine for Recursive XML Processing.
Keisuke Nakano
Shin-Cheng Mu
Published in:
APLAS (2006)
Keyphrases
</>
xml processing
xml documents
attribute grammars
xml data
xml databases
xml queries
model checking
management system
data model
integrity constraints