Specification Inference Using Context-Free Language Reachability.
Osbert BastaniSaswat AnandAlex AikenPublished in: POPL (2015)
Keyphrases
- context free
- grammatical inference
- attribute grammars
- context dependent
- context free languages
- context sensitive
- context free grammars
- finite state
- grammar rules
- regular languages
- tree languages
- inductive inference
- phrase structure
- high level
- parse tree
- probabilistic context free grammars
- graph grammars
- state space
- natural language
- bayesian networks
- low level