Static region analysis for Mercury ⋆

by Quan Phan , Gerda Janssens
Citations:4 - 3 self

Active Bibliography

5 Towards region-based memory management for Mercury programs – Quan Phan, Gerda Janssens - 2006
Languages, Performance – Quan Phan, Zoltan Somogyi, Gerda Janssens
Mercury programs. Part 1: Region analysis and transformation – Quan Phan, Gerda Janssens, Quan Phan, Gerda Janssens - 2009
1 An Equational Theory for a Region Calculus – Simon Helsen - 2002
2 Bisimilarity for the region calculus – Simon Helsen
14 A Retrospective on Region-Based Memory Management – Mads Tofte, Lars Birkedal, Martin Elsman, Niels Hallenberg - 2004
Region-Based Memory Management for a Dynamically-Typed Language – Akihito Nagata, Naoki Kobayashi, Akinori Yonezawa
Memory Management with Use-Counted Regions – Tachio Terauchi Alex, Tachio Terauchi, Alex Aiken, Alex Aiken - 2004
2 Memory management with use-counted regions – Tachio Terauchi, Alex Aiken, Tachio Terauchi, Alex Aiken - 2004
2 Monadic and Substructural Type Systems for Region-Based Memory Management – Matthew Thomas Fluet - 2007
30 Experience with safe manual memory-management in cyclone – Michael Hicks, Greg Morrisett, Dan Grossman, Trevor Jim - 2004
14 Safe and flexible memory management in Cyclone – Michael Hicks, Greg Morrisett, Dan Grossman, Trevor Jim - 2003
5 Linear Regions Are All You Need – Matthew Fluet, Greg Morrisett, Amal Ahmed - 2006
Conditional correlation analysis for safe region-based memory management – Xi Wang, Zhilei Xu, Xuezheng Liu, Zhenyu Guo, Xiaoge Wang, Zheng Zhang - 2008
More Precise Region-Based Memory Management for Mercury Programs ⋆ – Quan Phan, Gerda Janssens
Path-Sensitive Region Analysis for Mercury Programs – Quanphan Gerdajanssens
9 On Enabling the WAM with Region Support – Henning Makholm, Konstantinos Sagonas - 2002
A region-based memory manager for Prolog – Henning Makholm Diku, Henning Makholm - 2000
A Kripke Logical Relation for Effect- Based Program Transformations – Jacob Thamsborg, Lars Birkedal