The Real-Time Specification for Java (RTSAJ) allows programs … memory safety. This paper presents a static type … therefore 1) provides an important safety guarantee and … makes several contributions over previous work on region … unified type system framework. For multithreaded programs, it … real-time programs, in ensures that real-time threads do … and requires little programming overhead, and that eliminating … real-time programs.
Google-1
Google-2
Copyright clearance needed for quotation.