Concepedia

AHA: Amortized Heap Space Usage Analysis

M.C.J.D. van Eekelen, Olha Shkaravska, Ron van Kesteren, Bart Jacobs, Erik Poll, Sjaak Smetsers

Trends in Functional Programming · 2008 · 16 citations · 12 references

Concepts

Mathematical ProgrammingEngineeringComputer ArchitectureNew YorkFunctional AnalysisMemory Model (Programming)Evaluation StrategySoftware AnalysisMemory ManagementProgramming Language TheoryInternational SymposiumComputer ScienceFunctional Programming LanguageFunctional ProgrammingProgram AnalysisParallel ProgrammingLambda CalculusGarbage CollectionSystem Software

Abstract

8th International Symposium on Trends in Functional Programming (TFP'07), New York,, 2 april 2007

References

12

Introduction to Algorithms

Adhi Harmoko S, M.Komp, Joseph Marie Jacquard et al. · 2005 · 18.3K citations

Mathematical Programming, Computational Science, Engineering +6

Separation logic: a logic for shared mutable data structures

John Reynolds · 2003 · 2.1K citations

Engineering, Structured Data, Computer Architecture +18

An overview of JML tools and applications

Lilian Burdy, Yoonsik Cheon, David R. Cok et al. · International Journal on Software Tools for Technology Transfer · 2004 · 707 citations

Xml Library, Engineering, Jml Tools +12

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

Martin Hofmann, Steffen Jost · 2003 · 295 citations

Mathematical Programming, Static Prediction, Engineering +20

An overview of JML tools and applications1 1www.jmlspecs.org

Lilian Burdy, Yoonsik Cheon, David R. Cok et al. · Electronic Notes in Theoretical Computer Science · 2003 · 205 citations · Full text

Software Maintenance, Java Source Files, Engineering +25