Propositional Dynamic Logic of Context-Free Programs

David Harel Amir Pnueli Jonathan Stavi

Published in: FOCS (1981)

Keyphrases

context free
propositional dynamic logic
dynamic logic
context sensitive
context dependent
grammatical inference
attribute grammars
context free grammars
finite state
inductive inference
reasoning about actions
graph grammars
grammar rules
parse tree
relational databases
representation language
co occurrence