Symbolic Evaluation and the Global Value Graph.

John H. Reif Harry R. Lewis

Published in: POPL (1977)

Keyphrases

graph theory
high level
gold standard
real time
data sets
evaluation model
graph representation
stable set
genetic algorithm
markov chain
structured data
graph structure
global structure