Term Graphs for Computing Derivatives in Imperative Languages
From MaRDI portal
Publication:2867901
DOI10.1016/j.entcs.2006.10.029zbMath1278.68042MaRDI QIDQ2867901
Boyana Norris, Jean Utke, Paul D. Hovland, Michelle Mills Strout
Publication date: 20 December 2013
Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.entcs.2006.10.029
68R10: Graph theory (including graph drawing) in computer science
68N15: Theory of programming languages
65D25: Numerical differentiation
68Q42: Grammars and rewriting systems
Uses Software