Towards Region-Based Memory Management for Mercury Programs | Zendy

Quan Phan | Zendy; Gerda Janssens | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

Towards Region-Based Memory Management for Mercury Programs

Author(s) -

Quan Phan,

Gerda Janssens

Publication year - 2006

Publication title -

lecture notes in computer science

Language(s) - English

Resource type - Book series

SCImago Journal Rank - 0.249

H-Index - 400

eISSN - 1611-3349

pISSN - 0302-9743

ISBN - 3-540-36635-0

DOI - 10.1007/11799573_37

Subject(s) - heap (data structure) , garbage collection , computer science , garbage , manual memory management , reuse , programming language , implementation , memory leak , parallel computing , operating system , engineering , waste management

LNCS Vol. 4079Region-based memory management is a form of compiletime memory management, well-known from the functional programming world. This paper describes region-based memory management for the Mercury language using some points-to graphs that model the partition of the memory used by a program into separate regions and distribute the values of the program's variables over the regions. First, a region analysis 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 region support. Our approach obtains good results for a restricted set of deterministic Mercury programs and is a valid starting point to make region-based memory management work with general Mercury programs.status: publishe

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research