Region Type Checking for Core-Java

dc.creator	Chin, Wei Ngan
dc.creator	Qin, Shengchao
dc.creator	Rinard, Martin C.
dc.date	2003-12-13T20:15:13Z
dc.date	2003-12-13T20:15:13Z
dc.date	2004-01
dc.date.accessioned	2013-10-09T02:32:53Z
dc.date.available	2013-10-09T02:32:53Z
dc.date.issued	2013-10-09
dc.identifier	http://hdl.handle.net/1721.1/3871
dc.identifier.uri	http://koha.mediu.edu.my:8181/xmlui/handle/1721
dc.description	Region-based memory management offers several important advantages over garbage-collected heap, including real-time performance, better data locality and efficient use of limited memory. The concept of regions was first introduced for a call-by-value functional language by Tofte and Talpin, and has since been advocated for imperative and object-oriented languages. Scope memory, a lexical variant of regions, is now a core feature in a recent proposal on Real-Time Specification for Java (RTSJ). In this paper, we propose a region-based memory management system for a core subset of Java. Our region type analysis can completely prevent dangling references and thus is ready to cater for the no-dangling requirement in RTSJ. Our system also supports modular compilation, which is an important feature for Java, but was missing in recent related work.
dc.description	Singapore-MIT Alliance (SMA)
dc.format	115855 bytes
dc.format	application/pdf
dc.language	en_US
dc.relation	Computer Science (CS);
dc.subject	Core-Java
dc.subject	region type
dc.subject	type checking
dc.title	Region Type Checking for Core-Java
dc.type	Article

Files in this item

Files	Size	Format	View
There are no files associated with this item.