Login / Signup

A Pushdown Machine for Recursive XML Processing.

Keisuke NakanoShin-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