Loading...
Please wait, while we are loading the content...
Similar Documents
Static region analysis for Mercury ⋆
| Content Provider | CiteSeerX |
|---|---|
| Author | Phan, Quan Janssens, Gerda |
| Abstract | Abstract. Region-based memory management is a form of compiletime 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. 1 |
| File Format | |
| Access Restriction | Open |
| Subject Keyword | Static Region Analysis Separate Region Memory Behaviour Region Simulator Several Benchmark Program Compiletime Memory Management Different Region Region-based Memory Management Region Annotation Region Points-to Analysis Good Memory Consumption Region Points-to Graph Functional Programming World Extended Live Variable Analysis Optimal Memory Management Program Transformation Region-annotated Program Logic Programming Language Mercury Region Support |
| Content Type | Text |
| Resource Type | Article |
