On the Adequacy of Program Dependence Graphs for Representing Programs.
Susan HorwitzJan F. PrinsThomas W. RepsPublished in: POPL (1988)
Keyphrases
- computer programs
- control program
- automatic programming
- program execution
- prolog programs
- computer chess
- java programs
- high level programming language
- programming environment
- functional programs
- symbolic execution
- programming environments
- graph theoretic
- novice programmers
- program code
- programming education
- stable model semantics
- declarative semantics
- intermediate level
- application programs
- hardware designs
- complex structures
- graph theory
- graph matching
- program slicing
- bayesian networks
- control flow
- static analysis
- imperative programs
- directed graph
- undergraduate engineering
- high level programming
- recursive programs
- magic sets
- programs written
- random graphs
- graph partitioning
- answer sets
- test cases
- logic programs
- programming language