DSSE Technical Reports


Formalising Java Safety - An overview

Pieter H Hartel.

February 14 2000.


We review the existing literature on Java safety, emphasizing formal approaches, and the impact of Java safety on small footprint devices such as smart cards. The conclusion is that while a lot of good work has been done, a more concerted effort is needed to build a coherent set of machine readable formal models of the whole of Java and its implementation. This is a formidable task but we believe it is essential to building trust in Java safety.
We have tried to avoid technical detail, and to focus on the bigger issues. The interested reader may wish to consult some of the many papers that we refer to fill in the details.

Full paper (13 pages) available in gzipped postscript.

Declarative Systems & Software Engineering Group
Department of Electronics and Computer Science
University of Southampton
Highfield, Southampton SO17 1BJ, United Kingdom

Valid HTML 4.01!