Towards Region-Based Memory Management for Mercury Programs | SpringerLink
Skip to main content
Springer Nature Link
Log in

Towards Region-Based Memory Management for Mercury Programs

Extended Abstract

  • Conference paper
Logic Programming (ICLP 2006)

Part of the book series: Lecture Notes in Computer Science ((LNPSE,volume 4079))

Included in the following conference series:

  • 494 Accesses

Abstract

Logic programming systems build the terms on the heap. Then automatic memory management for the heap relies on backtracking and runtime garbage collection to reclaim space on the heap. While efficient implementations of garbage collectors for logic programming languages can reuse more than 90% of the heap space, they introduce performance overhead to the execution of a program.

This work is supported by the project GOA/2003/08 and by FWO Vlaanderen.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Similar content being viewed by others

References

  1. Aiken, A., Fahndrich, M., Levien, R.: Better static memory management: Improving region-based analysis of higher-order languages. In: PLDI (1995)

    Google Scholar 

  2. Cherem, S., Rugina, R.: Region analysis and Transformation for Java. In: ISMM 2004, pp. 85–96 (2004)

    Google Scholar 

  3. Grossman, D., Morrisett, G., Jim, T., Hicks, M., Wang, Y., Cheney, J.: Region-based memory management in Cyclone. In: PLDI 2002, pp. 282–293 (2002)

    Google Scholar 

  4. Henglein, F., Makholm, H., Niss, H.: A direct approach to control-flow sensitive region-based memory management. In: PPDP 2001, pp. 175–186 (2001)

    Google Scholar 

  5. Makholm, H.: A region-based memory manager for Prolog. In: ISMM 2000, pp. 25–34 (2000)

    Google Scholar 

  6. Makholm, H., Sagonas, K.: On Enabling the WAM with Region Support. In: Stuckey, P.J. (ed.) ICLP 2002. LNCS, vol. 2401, p. 163. Springer, Heidelberg (2002)

    Chapter  Google Scholar 

  7. Mazur, N.: Compile-time garbage collection for the declarative language Mercury. PhD thesis, Computer Science Dept., Katholieke Universiteit Leuven (May 2004)

    Google Scholar 

  8. Tofte, M., Talpin, J.-P.: Region-based memory management. Information and Computation 132(2), 109–176 (1997)

    Article  MATH  MathSciNet  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science, K.U. Leuven, Celestijnenlaan, 200A, B-3001, Heverlee, Belgium

    Quan Phan & Gerda Janssens

Authors
  1. Quan Phan
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Gerda Janssens
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. University of Twente, The Netherlands

    Sandro Etalle

  2. Department of Computer Science, University of Kentucky, 40506, Lexington, KY, USA

    Mirosław Truszczyński

Rights and permissions

Reprints and permissions

Copyright information

© 2006 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Phan, Q., Janssens, G. (2006). Towards Region-Based Memory Management for Mercury Programs. In: Etalle, S., Truszczyński, M. (eds) Logic Programming. ICLP 2006. Lecture Notes in Computer Science, vol 4079. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11799573_37

Download citation

  • DOI: https://doi.org/10.1007/11799573_37

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-36635-5

  • Online ISBN: 978-3-540-36636-2

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics