Login / Signup

Symbolic Evaluation and the Global Value Graph.

John H. ReifHarry 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