article · 2013

Chapter 1 Memory Safety for Safety Critical Java

Daniel Tang, Ales Plsek, Jan Vitek

Cited by 0Abstract and details only

Abstract

Abstract Memory is a key resource in computer systems. Safety-critical systems often must operate for long periods of time with limited available memory. Programmers must therefore take great care to use memory sparingly and avoid programming errors. This chapter introduces the memory management API of the Safety Critical Java specification and presents a static technique for ensuring memory safety. 1.1

Cite this paper

APA 7

Tang, D., Plsek, A., & Vitek, J. (2013). Chapter 1 Memory Safety for Safety Critical Java.

MLA 9

Tang, Daniel, et al. “Chapter 1 Memory Safety for Safety Critical Java.” 2013.

Chicago

Tang, Daniel, Ales Plsek, and Jan Vitek. 2013. “Chapter 1 Memory Safety for Safety Critical Java.”

Harvard

Tang, D., Plsek, A. and Vitek, J. (2013) ‘Chapter 1 Memory Safety for Safety Critical Java’.

BibTeX

@article{tang2013chapter,
  title = {{Chapter 1 Memory Safety for Safety Critical Java}},
  author = {Tang, Daniel and Plsek, Ales and Vitek, Jan},
  year = {2013}
}

Made from the index record. Check names, capitalisation and page numbers against the paper. Need another style? AI for Research has over 10,000.