Region-based memory management in cyclone
Top Cited Papers
- 17 May 2002
- proceedings article
- Published by Association for Computing Machinery (ACM)
- Vol. 37 (5), 282-293
- https://doi.org/10.1145/512529.512563
Abstract
No abstract availableThis publication has 21 references indexed in Scilit:
- Combining region inference and garbage collectionPublished by Association for Computing Machinery (ACM) ,2002
- Typed memory management via static capabilitiesACM Transactions on Programming Languages and Systems, 2000
- Comparing Object EncodingsInformation and Computation, 1999
- A region inference algorithmACM Transactions on Programming Languages and Systems, 1998
- Region-Based Memory ManagementInformation and Computation, 1997
- Static detection of dynamic memory errorsPublished by Association for Computing Machinery (ACM) ,1996
- Typed closure conversionPublished by Association for Computing Machinery (ACM) ,1996
- Efficient detection of all pointer and array access errorsPublished by Association for Computing Machinery (ACM) ,1994
- Garbage collection in an uncooperative environmentSoftware: Practice and Experience, 1988
- Abstract types have existential typeACM Transactions on Programming Languages and Systems, 1988