Memory management based on method invocation in RTSJ

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3292, Issue , 2004, Pages 333-345

  Kwon, Jagun ^a   Wellings, Andy ^a  

^a UNIVERSITY OF YORK   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

SEMANTICS;

HIGH-INTEGRITY SYSTEMS; MEMORY MANAGEMENT; MEMORY MANAGEMENT MODEL; MEMORY MODELING; METHOD INVOCATION; PROGRAMMING MODELS; RAVENSCAR; RUN-TIME CHECKS;

JAVA PROGRAMMING LANGUAGE;

EID: 35048831431     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-30470-8_49     Document Type: Article

References (10)

1. B. Blanchet, Escape Analysis for Java: Theory and Practice, ACM Transactions on Programming Languages and Systems (TOPLAS), Vol. 25, Issue 6, November 2003.
2. G. Bollella, et al, The Real-Time Specification for Java, http://www.rtj.org.
3. C. Boyapati, et al, Ownership types for safe region-based memory management in real-time Java, Proceedings of the ACM SIGPLAN 2003 Conference on Programming Language Design and Implementation, San Diego, CA, USA, 2003.
4. A. Burns, B. Dobbing, and G. Romanski, The Ravenscar Tasking Profile for High Integrity Real-Time Programs, In L. Asplund, editor, Proceedings of Ada-Europe 98, LNCS, Vol. 1411, pages 263-275, Springer-Verlag 1998.
5. R. Cytron et al, Efficiently Computing Static Single Assignment Form and the Control Dependence Graph, ACM Transactions on Programming Languages and Systems (TOPLAS), Vol. 13, Issue 4, October 1991.
6. H. Hetcht, et al, Review Guidelines for Software Languages for Use in Nuclear Power Plant Systems, NUREG/CR-6463, U.S. Nuclear Regulatory Commission, 1997.
7. J Consortium, International J Consortium Specification: Real-Time Core Extensions, Revision 1.0.14, available at http://www.j-consortium.org.
8. J. Kwon, A. Wellings, and S. King, Ravenscar-Java: A High Integrity Profile for Real-Time Java, to appear in the Concurrency and Computation: Practice and Experience Journal, Special Issue: ACM Java Grande-ISCOPE 2002 Conference, Wiley.
9. F. Pizlo, et al, Real-Time Java Scoped Memory: Design Patterns and Semantics, Proceedings of the 7th IEEE Intl., Symposium on Object-Oriented Real-Time Distribute Computing (ISORC'04), Vienna, Austria, May 2004.
10. Sun Microsystems, JSR 175: A Metadata Facility for the Java Programming Language, available at http://www.jcp.org/en/jsr/detail?id=175.