Login / Signup
Term Graphs for Computing Derivatives in Imperative Languages.
Paul D. Hovland
Boyana Norris
Michelle Mills Strout
Jean 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