Navigation

• Education
  • International programmes
  • Faculties
  • ECTS
  • Vision and policy
• Research
  • Research at KU Leuven
  • Support and funding
  • Industry and Society
  • Phd
  • Postdoc researcher
  • Output and impact
  • Networking
  • Vision and policy
• Admissions
  • How to apply
  • Scholarships
  • Degree seeking students
  • Non-degree seeking students
  • Doctoral students
  • Reseachers
  • Short term study visits
  • Prepare your stay
• Living in Leuven
  • Welcome activities
  • News and agenda
  • Student Services
  • Housing
  • Insurance
  • Sports and culture
  • Student organisations
• About KU Leuven
  • Mission statement
  • Facts and figures
  • International networks
  • Development Cooperation
  • Academic Calendar
  • Alumni
  • Fundraising
  • Services and support
  • Boards and councils
  • News and press
  • Jobs

CW 424

Quan Phan and Gerda Janssens
A proposal for region-based memory management for deterministic Mercury programs

Abstract

This paper presents an approach for region-based memory management for Mercury programs. First, region analysis based on a points-to graph determines the different regions in the program. Second, the liveness of the regions is computed. Finally, a program transformation adds region annotations to the program for the region-based memory management. Some small logic programs are analysed manually and discussed to show the promissing benefits of our approach. While the approach is developed here mainly for deterministic Mercury programs the paper also discusses possible extensions to support non-determinism, module-based region analysis, and most noticeably the combination with compile-time garbage collection in the context of Mercury programs.