Parsing as abstract interpretation of grammar semantics.
Patrick CousotRadhia CousotPublished in: Theor. Comput. Sci. (2003)
Keyphrases
- abstract interpretation
- active rules
- context free grammars
- termination analysis
- natural language
- natural language parsing
- word order
- context free
- parse tree
- stochastic context free grammars
- graph grammars
- phrase structure
- static analysis
- natural language sentences
- grammar induction
- formal semantics
- natural language processing
- active databases
- model checking
- probabilistic context free grammars
- semantic information
- reasoning engine
- atomic actions
- pattern matching
- object oriented databases
- semantic parsing
- dynamic analysis
- case study
- deductive databases
- integrity constraints
- business process