Chapter

Logic Programming

Volume 4670 of the series Lecture Notes in Computer Science pp 317-332

Static Region Analysis for Mercury

  • Quan PhanAffiliated withDepartment of Computer Science, K.U. Leuven, Celestijnenlaan, 200A, B-3001 Heverlee
  • , Gerda JanssensAffiliated withDepartment of Computer Science, K.U. Leuven, Celestijnenlaan, 200A, B-3001 Heverlee

* Final gross prices may vary according to local VAT.

Get Access

Abstract

Region-based memory management is a form of compile-time memory management, well-known from the functional programming world. This paper describes a static region analysis for the logic programming language Mercury. We use region points-to graphs to model the partitioning of the memory used by a program into separate regions. The algorithm starts with a region points-to analysis that determines the different regions in the program. We then compute the liveness of the regions by using an extended live variable analysis. Finally, a program transformation adds region annotations to the program for region support. These annotations generate data for a region simulator that generates reports on the memory behaviour of region-annotated programs. Our approach obtains good memory consumption for several benchmark programs; for some of them it achieves optimal memory management.