Login / Signup

Formalising and Verifying Reference Attribute Grammars in Coq.

Max SchäferTorbjörn EkmanOege de Moor
Published in: ESOP (2009)
Keyphrases
  • attribute grammars
  • context free grammars
  • context free
  • xml processing
  • formal methods
  • database systems
  • knowledge representation
  • building blocks
  • context dependent