Languages, Performance

Cached

Download Links

by Quan Phan , Zoltan Somogyi , Gerda Janssens

Active Bibliography

Mercury programs. Part 1: Region analysis and transformation – Quan Phan, Gerda Janssens, Quan Phan, Gerda Janssens - 2009
Path-Sensitive Region Analysis for Mercury Programs – Quanphan Gerdajanssens
More Precise Region-Based Memory Management for Mercury Programs ⋆ – Quan Phan, Gerda Janssens
2 Bisimilarity for the region calculus – Simon Helsen
4 Static region analysis for Mercury ⋆ – Quan Phan, Gerda Janssens
5 Towards region-based memory management for Mercury programs – Quan Phan, Gerda Janssens - 2006
1 An Equational Theory for a Region Calculus – Simon Helsen - 2002
14 A Retrospective on Region-Based Memory Management – Mads Tofte, Lars Birkedal, Martin Elsman, Niels Hallenberg - 2004
region-based – Fritz Henglein, Henning Makholm, Henning Niss
Conditional correlation analysis for safe region-based memory management – Xi Wang, Zhilei Xu, Xuezheng Liu, Zhenyu Guo, Xiaoge Wang, Zheng Zhang - 2008
2 Monadic and Substructural Type Systems for Region-Based Memory Management – Matthew Thomas Fluet - 2007
7 Safe Manual Memory Management in Cyclone – Nikhil Swamy, Michael Hicks, Greg Morrisett, Dan Grossman, Trevor Jim
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
172 Region-Based Memory Management in Cyclone – Dan Grossman , Greg Morrisett, Trevor Jim, Michael Hicks, Yanling Wang, James Cheney - 2002
122 Memory Management with Explicit Regions – David Gay, Alex Aiken - 1998
Region-Based Memory Management for a Dynamically-Typed Language – Akihito Nagata, Naoki Kobayashi, Akinori Yonezawa
9 On Enabling the WAM with Region Support – Henning Makholm, Konstantinos Sagonas - 2002
A Kripke Logical Relation for Effect- Based Program Transformations – Jacob Thamsborg, Lars Birkedal