Login / Signup
Prediction of linear memory usage for first-order functional programs.
Brian Campbell
Published in:
Trends in Functional Programming (2008)
Keyphrases
</>
memory usage
functional programs
term rewriting systems
memory footprint
lazy evaluation
memory requirements
logic programs
stochastic grammar
data structure
nearest neighbor
functional language
database systems
first order logic
key features