Sign in

Term Graphs for Computing Derivatives in Imperative Languages.

Paul D. HovlandBoyana NorrisMichelle Mills StroutJean Utke
Published in: Electron. Notes Theor. Comput. Sci. (2007)
Keyphrases
  • graph model
  • expressive power
  • language independent
  • higher order
  • graph databases
  • graph theoretic
  • graph partitioning
  • databases
  • directed graph
  • graph representation
  • target language
  • random graphs