W.N. Chin
Region inference for an object-oriented language
Chin, W.N.; Craciun, F.; Qin, S.; Rinard, M.
Authors
F. Craciun
S. Qin
M. Rinard
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.
Citation
Chin, W., Craciun, F., Qin, S., & Rinard, M. (2004). Region inference for an object-oriented language. In Proceedings of the ACM SIGPLAN 2004 conference on Programming Language Design and Implementation (PLDI), Washington DC, June 9-11, 2004 (243-254). https://doi.org/10.1145/996893.996871
Conference Name | ACM SIGPLAN 2004 Conference on Programming Language Design and Implementation. |
---|---|
Conference Location | Washington, D.C |
Start Date | Jun 9, 2004 |
End Date | Jun 11, 2004 |
Publication Date | 2004-06 |
Deposit Date | Jan 23, 2009 |
Volume | 39 |
Pages | 243-254 |
Series Number | 6 |
Series ISSN | 0362-1340 |
Book Title | Proceedings of the ACM SIGPLAN 2004 conference on Programming Language Design and Implementation (PLDI), Washington DC, June 9-11, 2004. |
DOI | https://doi.org/10.1145/996893.996871 |
Keywords | Type systems, Memory management, Downcasts, Method overriding. |
Publisher URL | http://portal.acm.org/citation.cfm?id=996893.996871 |
Additional Information | 9-11 Jun 2004 |
You might also like
PTSC: probability, time and shared-variable concurrency
(2009)
Journal Article
Memory Usage Verification Using Hip/Sleek
(2009)
Conference Proceeding
An Interval-based Inference of Variant Parametric Types
(2009)
Conference Proceeding
A Heap Model for Java Bytecode to Support Separation Logic
(2008)
Conference Proceeding
Downloadable Citations
About Durham Research Online (DRO)
Administrator e-mail: dro.admin@durham.ac.uk
This application uses the following open-source libraries:
SheetJS Community Edition
Apache License Version 2.0 (http://www.apache.org/licenses/)
PDF.js
Apache License Version 2.0 (http://www.apache.org/licenses/)
Font Awesome
SIL OFL 1.1 (http://scripts.sil.org/OFL)
MIT License (http://opensource.org/licenses/mit-license.html)
CC BY 3.0 ( http://creativecommons.org/licenses/by/3.0/)
Powered by Worktribe © 2024
Advanced Search