Scoped types and aspects for real-time Java memory management

DOI10.1007/s11241-007-9024-3zbMath1127.68015OpenAlexW2138536237MaRDI QIDQ995820

Tian Zhao, Chris Andreae, Celina Gibbs, Yvonne Coady, Jan Vitek, James S. 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

Real-time systemsJava virtual machineMemory managementOwnership types

Mathematics Subject Classification ID

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

Related Items (3)

Formalising Java RMI with explicit code mobility ⋮ Universe Types for Topology and Encapsulation ⋮ Scoped types and aspects for real-time Java memory management

Uses Software

• AspectJ
• Cyclone
• Featherweight Java

Cites Work

• Scoped types and aspects for real-time Java memory management
• Evaluating the expressive power of the real-time specification for Java
• Type-based confinement
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

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