Scoped types and aspects for real-time Java memory management

DOI10.1007/S11241-007-9024-3MaRDI QIDQ995820zbMATH OpenOpenAlexFDO

Authors Chris Andreae, Yvonne Coady, Celina Gibbs, Jan Vitek, Tian Zhao, James Noble

Publication date 10 September 2007

Published in Real-Time Systems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s11241-007-9024-3

zbMATH Keywords

Java virtual machineMemory managementOwnership typesReal-time systems

Mathematics Subject Classification ID

Theory of programming languages (68N15) Theory of operating systems (68N25)

Recommendations

• scientific article; zbMATH DE number 2080767
• Scheduling of hard real-time garbage collection
• The safety-critical Java memory model formalised
• Implicit ownership types for memory management
• Automated Technology for Verification and Analysis

Cites work

• Evaluating the expressive power of the real-time specification for Java
• scientific article; zbMATH DE number 1728246 (Why is no real title available?)
• scientific article; zbMATH DE number 1304000 (Why is no real title available?)
• scientific article; zbMATH DE number 1947727 (Why is no real title available?)
• scientific article; zbMATH DE number 2080767 (Why is no real title available?)
• Scoped types and aspects for real-time Java memory management
• Type-based confinement

Cited in

(8)

• Formalising Java RMI with explicit code mobility
• Universe Types for Topology and Encapsulation
• Research and application of predictable CER-real time Java developing model
• CoMem: collaborative memory management for real-time operation within reactive sensor/actor networks
• scientific article; zbMATH DE number 2080756 (Why is no real title available?)
• scientific article; zbMATH DE number 2080767 (Why is no real title available?)
• Implicit ownership types for memory management
• Scoped types and aspects for real-time Java memory management

Describes a project that uses

Uses Software

• AspectJ
• Featherweight Java
• Cyclone

This page was built for publication: Scoped types and aspects for real-time Java memory management

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q995820)