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

ACM SIGPLAN Notices

Volumn 38, Issue 1, 2003, Pages 185-197

  Hofmann, Martin ^a   Jost, Steffen ^a  

^a UNIVERSITY OF MUNICH   (Germany)

Author keywords

Functional programming; Garbage collection; Heap; Program analysis; Resources

Indexed keywords

BOOLEAN FUNCTIONS; COMPUTATIONAL COMPLEXITY; COMPUTER PROGRAMMING LANGUAGES; LINEAR PROGRAMMING; SEMANTICS; STORAGE ALLOCATION (COMPUTER); THEOREM PROVING;

FIRST-ORDER FUNCTIONAL PROGRAMS; GARBAGE COLLECTION; HEAP SPACE; PROGRAM ANALYSIS;

PROGRAM DIAGNOSTICS;

EID: 1442265522     PISSN: 03621340     EISSN: None     Source Type: Journal    
DOI: 10.1145/640128.604148     Document Type: Article

References (20)

1. Mobile resource guarantees. EU Project No. IST-2001-33149, see http://www.dcs.ed.ac.uk/home/mrg/
2. David Aspinall and Martin Hofmann. Another Type System for In-Place Update. In D. Le Metayer, editor, Programming Languages and Systems (Proc. ESOP'02), volume Springer LNCS 2305, 2002.
3. K. Crary and S. Weirich. Resource bound certification. In Proc. 27th Symp. Principles of Prog. Lang. (POPL), pages 184-198, ACM, 2000.
4. P. Flajolet, B. Salvy, and P. Zimmermann. Lambda-Upsilon-Omega: An assistant algorithms analyzer. In T. Mora, editor, Applied Algebra, Algebraic Algorithms and Error-Correcting Codes, volume 357 of Lecture Notes in Computer Science, pages 201-212, 1989. Proceedings AAECC'6, Rome, July.
5. Gustavo Gómez and Yanhong A. Liu, Automatic accurate cost-bound analysis for high-level languages. In Frank Mueller and Azer Bestavros, editors, Languages, Compilers, and Tools for Embedded Systems, ACM SIGPLAN Workshop LCTES'98, Montreal, Canada. Springer, 1998. LNCS 1474.
6. Gustavo Gómez and Yanhong A. Liu. Automatic time-bound analysis for a higher-order language. In Proceedings of the 2002 ACM SIGPLAN workshop on Partial evaluation and semantics-based program manipulation, pages 75-86. ACM Press, 2002.
7. Bernd Grobauer, Topics in Semantics-based Program Manipulation. PhD thesis, BRICS Aarhus, 2001.
8. Martin Hofmann. A types system for bounded space and functional in-place update. Nordic Journal of Computing, 7(4):258-289, 2000. An extended abstract has appeared in Programming Languages and Systems, G. Smolka, ed., Springer LNCS, 2000.
9. Martin Hofmann.The strength of non size-increasing computation. 2002. Proc. ACM Symp. on Principles of Programming Languages (POPL), Portland, Oregon.
10. J. Hughes and L. Pareto. Recursion and dynamic data structures in bounded space: towards embedded ML programming. In Proc. International Conference on Functional Programming (ACM). Paris, September '99., pages 70-81, 1999.
11. Steffen Jost. Static prediction of dynamic space usage of linear functional programs, 2002. Diploma thesis at Darmstadt University of Technology, Department of Mathematics. Available at www.tcs.informatik.uni-muenchen.de/~jost/da_sj_28-02-2002.ps
12. Naoki Kobayashi. Quasi-linear types. In Proceedings ACM Principles of Programming Languages, pages 29-42, 1999.
13. H.-W. Loidl. Granularity in Large-Scale Parallel Functional Programming. PhD thesis, Department of Computing Science, University of Glasgow, 1998.
14. George Necula. Proof-carrying code. In Proc. 24th Symp. Principles of Prog. Lang. (POPL). ACM, 1997.
15. Martin Odersky. Observers for linear types. In B. Krieg-Brückner, editor, ESOP '92: 4th European Symposium on Programming, Rennes, France, Proceedings, pages 390-407. Springer-Verlag, February 1992. Lecture Notes in Computer Science 582.
16. Lars Pareto. Types for crash prevention. PhD thesis, Chalmers University, Göteborg, Sweden, 2000.
17. John C. Reynolds. Definitional interpreters for higher-order programming languages. In Proceedings of the 25th ACM National Conference, pages 717-740, 1972.
18. Natarajan Shankar. Efficiently executing PVS. Technical report, Computer Science Laboratory, SRI International, 1999.
19. M. Tofte and J.-P. Talpin. Region-based memory management. Information and Computation, 132(2):109-176, 1997.
20. Leena Unnikrishnan, Scott D. Stoller, and Yanhong A. Liu. Automatic accurate live memory analysis for garbage-collected languages. In Proceedings of The Workshop on Languages, Compilers, and Tools for Embedded Systems (LCTES 2001), June 22-23, 2001 / The Workshop on Optimization of Middleware and Distributed Systems (OM 2001), June 18, 2001, Snowbird, Utah, USA.