Kelvin Nilsen. A type system to assure scope safety within safety-critical Java modules. In Marc Richard-Foy, editor, Proceedings of the 4th international workshop on Java technologies for real-time and embedded systems, JTRES '06, Paris, France, October 11-13, 2006. pages 97-106, ACM, 2006. [doi]
Abstract is missing.