Evaluating the expressive power of the real-time specification for Java

DOI10.1023/A:1022816701710zbMath1020.68018MaRDI QIDQ1870177

Andrew J. Wellings, Peter Puschner

Publication date: 11 May 2003

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

zbMATH Keywords

real-time Java; concurrent object-oriented real-time programming

Mathematics Subject Classification ID

68N19: Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.)

68N15: Theory of programming languages

68Q60: Specification and verification (program logics, model checking, etc.)

Related Items

Scoped types and aspects for real-time Java memory management

Uses Software

• Ada95
• PEARL