Login / Signup

Static prediction of heap space usage for first-order functional programs.

Martin HofmannSteffen Jost
Published in: POPL (2003)
Keyphrases
  • functional programs
  • term rewriting systems
  • lazy evaluation
  • data structure
  • artificial intelligence
  • relational databases
  • search space
  • query processing
  • general purpose
  • programming language
  • functional language