The Operational Semantics of a Java Secure Processor


Hartel, P. H., Butler, M. J. and Levy, M. (1999) The Operational Semantics of a Java Secure Processor In, Alves-Foss, J. (eds.) Formal Syntax and Semantics of Java, LNCS 1523. Springer-Verlag pp. 313-52.

Download

[img] Postscript dsse-tr-98-1.ps - Other
Download (283kB)

Description/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
ISBNs: 3540661581 (print)
Venue - Dates: Formal Syntax and Semantics of Java, LNCS 1523, 1999-01-01
Organisations: Electronic & Software Systems
ePrint ID: 250494
Date :
Date Event
1999Published
Date Deposited: 02 Mar 2000
Last Modified: 23 Feb 2017 16:18
Further Information:Google Scholar
URI: http://eprints.soton.ac.uk/id/eprint/250494

Actions (login required)

View Item View Item