The Operational Semantics of a Java Secure Processor


Share/Save/Bookmark

Hartel, P.H. and Butler, M.J. and Levy, M. (1999) The Operational Semantics of a Java Secure Processor. In: Formal Syntax and Semantics of Java. Springer-Verlag, pp. 313-352. ISBN 9783540661580

[img]
Preview
PDF
319Kb
Abstract:A formal specification of a Java Secure Processor is presented, which is mechanically checked for type consistency, well formedness and operational conservativity. The specification is executable and it is used to animate and study the behaviour of sample Java programs. The purpose of the semantics is to document the behaviour of the complete JSP for the benefit of implementors.
Item Type:Book Section
Copyright:© 1999 Springer-Verlag
Link to this item:http://purl.utwente.nl/publications/55694
Official URL:http://www.springerlink.com/link.asp?id=emnvr5rvge2qardy
Export this item as:BibTeX
EndNote
HTML Citation
Reference Manager

 

Repository Staff Only: item control page