Cookies

We use cookies to ensure that we give you the best experience on our website. You can change your cookie settings at any time. Otherwise, we'll assume you're OK to continue.


Durham Research Online
You are in:

Region inference for an object-oriented language.

Chin, W. N. and Craciun, F. and Qin, S. and Rinard, M. (2004) 'Region inference for an object-oriented language.', ACM SIGPLAN notices., 39 (6). pp. 243-254.

Abstract

Region-based memory management offers several important potential advantages over garbage collection, including real-time performance, better data locality, and more efficient use of limited memory. Researchers have advocated the use of regions for functional, imperative, and object-oriented languages. Lexically scoped regions are now a core feature of the Real-Time Specification for Java (RTSJ)[5]. Recent research in region-based programming for Java has focused on region checking, which requires manual effort to augment the program with region annotations. In this paper, we propose an automatic region inference system for a core subset of Java. To provide an inference method that is both precise and practical, we support classes and methods that are region-polymorphic, with region-polymorphic recursion for methods. One challenging aspect is to ensure region safety in the presence of features such as class subtyping, method overriding, and downcast operations. Our region inference rules can handle these object-oriented features safely without creating dangling references.

Item Type:Article
Keywords:Type systems, Memory management, Downcasts, Method overriding.
Full text:Full text not available from this repository.
Publisher Web site:http://portal.acm.org/citation.cfm?id=996893.996871
Record Created:23 Jan 2009
Last Modified:22 Sep 2010 15:04

Social bookmarking: del.icio.usConnoteaBibSonomyCiteULikeFacebookTwitterExport: EndNote, Zotero | BibTex
Usage statisticsLook up in GoogleScholar | Find in a UK Library