Please use this identifier to cite or link to this item: http://scholarbank.nus.edu.sg/handle/10635/43353
Title: Region inference for an object-oriented language
Authors: Chin, W.-N. 
Craciun, F. 
Qin, S. 
Rinard, M.
Keywords: Downcasts
Memory Management
Method Overriding
Object-Oriented Languages
Region Inference
Type Systems
Issue Date: 2004
Source: Chin, W.-N.,Craciun, F.,Qin, S.,Rinard, M. (2004). Region inference for an object-oriented language. Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI) : 243-254. ScholarBank@NUS Repository.
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). 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 sub-typing, method overriding, and downcast operations. Our region inference rules can handle these object-oriented features safely without creating dangling references.
Source Title: Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)
URI: http://scholarbank.nus.edu.sg/handle/10635/43353
Appears in Collections:Staff Publications

Show full item record
Files in This Item:
There are no files associated with this item.

Page view(s)

66
checked on Dec 9, 2017

Google ScholarTM

Check


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.