• The Operational Semantics of a...

*Result*: The Operational Semantics of a Java Secure Processor.

Title:
The Operational Semantics of a Java Secure Processor.
Authors:
Pieter H. Hartel, Michael J. Butler, Moshe Levy
Source:
Formal Syntax and Semantics of Java. :313-352
Availability:
https://dblp.org/rec/conf/java/HartelBL99
Database:
dblp computer science bibliography