Sign in

Grammar semantics, analysis and parsing by abstract interpretation.

Patrick CousotRadhia Cousot
Published in: Theor. Comput. Sci. (2011)
Keyphrases
  • abstract interpretation
  • active rules
  • static analysis
  • termination analysis
  • databases
  • semantic analysis
  • natural language
  • data analysis
  • context free grammars
  • database
  • data management
  • integrity constraints