A region-based memory manager for Prolog

Proceedings of the International Symposium on Memory Management

Volumn , Issue , 2000, Pages 25-34

  Makholm, Henning ^a  

^a UNIVERSITY OF COPENHAGEN   (Denmark)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SIMULATION; LOGIC PROGRAMMING; PROGRAM COMPILERS; PROLOG (PROGRAMMING LANGUAGE);

MEMORY MANAGEMENT;

DATA STORAGE EQUIPMENT;

EID: 0034592545     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/362422.362434     Document Type: Conference Paper

References (10)

1. Alexander Aiken, Manuel Fähndrich, and Raph Levien. Better static memory management: Improving region-based analysis of higher-order languages (extended abstract). In Programming Language Design and Implementation (ACM SIGPLAN Conference, PLDI '95, 18-21 June 1995, La Jolla, CA, USA), special issue of ACM SIGPLAN Notices, 30(6):174-185. 〈http://http.cs.berkeley.edu/̃aiken/ftp/region.ps〉
2. Yves Bekkers, Olivier Ridoux, and L. Ungaro. Dynamic memory management for sequential logic programming languages. In Yves Bekkers and J. Cohen (eds), Memory Management (International Workshop, IWMM '92, 16-18 September 1992, St. Malo, France), volume 637 of Lecture Notes in Computer Science, pages 82-102. Springer-Verlag, Heidelberg, Germany, ISBN 3-540-55940-X.
3. Lars Birkedal, Mads Tofte, and Magnus Vejlstrup. From region inference to von Neumann machines via region representation inference. In Principles of Programming Languages (23rd ACM SIGPLAN-SIGACT Symposium, POPL '96, 21-24 January 1996, St. Petersburg Beach, FL, USA), pages 171-183. ACM Press, New York, NY, USA, ISBN 0-89791-769-3. 〈http://www.diku.dk/users/tofte/publ/popl96.ps.gz〉.
4. Karl Crary, David Walker, and Greg Morrisett. Typed memory management in a calculus of capabilities. In Principles of Programming Languages (26th ACM SIGPLAN-SIGACT Symposium, POPL '99, 20-22 January 1999, San Antonio, Texas, US), pages 262-275. ACM Press, New York, NY, USA, ISBN 1-58113-095-3. 〈http://simon.cs.cornell.edu/home/jgm/papers/capabilities.ps〉.
5. Henning Makholm. Region-Based Memory Management in Prolog. Master's thesis, Department of Computer Science, University of Copenhagen, 2000. 〈ftp://ftp.diku.dk/diku/semantics/papers/D-421.ps.gz〉.
6. Alan Mycroft and Richard A. O'Keefe. A polymorphic type system for PROLOG. Articificial Intelligence, 23(3):295-307, August 1984.
7. Mads Tofte and Lars Birkedal. A region inference algorithm. ACM Transactions on Programming Languages and Systems, 20(4):724-767, July 1998. 〈http://www.itu.dk/research/mlkit/kit_general/toplas98.ps.gz〉.
8. Mads Tofte, Lars Birkedal, Martin Elsman, Niels Hallenberg, Tommy Hjfeld Olesen, Peter Sestoft, and Peter Bertelsen. Programming with regions in the ML Kit. Technical Report DIKU-TR-97/12, Department of Computer Science, University of Copenhagen, April 1997. 〈http://www.diku.dk/research-groups/topps/activities/kit2/diku97-12.a4.ps.g z〉.
9. Mads Tofte and Jean-Pierre Talpin. Implementation of the typed call-by-value λ-calculus using a stack of regions. In Principles of Programming Languages (21st ACM SIGPLAN-SIGACT Symposium, POPL '94, Portland, OR, USA), pages 188-201. ACM Press, New York, NY, USA, 1994, ISBN 0-89791-636-0. 〈ftp://ftp.diku.dk/diku/semantics/papers/D-235.dvi.gz〉.
10. Mads Tofte and Jean-Pierre Talpin. Region-based memory management. Information and Computation, 132(2):109-176, February 1997. 〈http://www.itu.dk/research/mlkit/kit2/infocomp97.ps〉.