CFA2: a Context-Free Approach to Control-Flow Analysis

Dimitrios Vardoulakis Olin Shivers

Published in: Log. Methods Comput. Sci. (2011)

Keyphrases

flow analysis
context free
context dependent
context sensitive
grammatical inference
context free grammars
information flow
finite state
graph grammars