Region Type Checking for Core-Java
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...
Main Authors: | Chin, Wei Ngan, Qin, Shengchao, Rinard, Martin C. |
---|---|
Format: | Article |
Language: | en_US |
Published: |
2003
|
Subjects: | |
Online Access: | http://hdl.handle.net/1721.1/3871 |
Similar Items
-
The Impact of Top-Layer Sliced Lamella Thickness and Core Type on Surface-Checking in Engineered Wood Flooring
by: Victor Grubîi, et al.
Published: (2023-11-01) -
Automatic simulation method for functional equivalence check
by: Liao Lu, et al.
Published: (2019-08-01) -
Engineering Grammar-Based Type Checking for Graph Rewriting Languages
by: Naoki Yamamoto, et al.
Published: (2022-01-01) -
Towards an Extrinsic Formalization of Featherweight Java in Agda
by: Samuel Feitosa, et al.
Published: (2021-12-01) -
Core java /
by: 363452 Horstmann, Cay S., et al.
Published: (2008)