Login / Signup

Generation of Indexes for Compiling Efficient Parsers from Formal Specifications.

Carlos Gómez-RodríguezMiguel A. AlonsoManuel Vilares Ferro
Published in: EUROCAST (2007)
Keyphrases
  • formal specification
  • query processing
  • database
  • object oriented design
  • database systems
  • data model
  • software engineering
  • natural language processing
  • model checking
  • specification languages