• A Formal Specification of the...

Treffer: A Formal Specification of the Java Bytecode Language and Bytecode Verifier

Title:
A Formal Specification of the Java Bytecode Language and Bytecode Verifier
Object-oriented programming systems, languages, and applications
Authors:
Freund, S., Mitchell, J. C.
Source:
ACM SIGPLAN NOTICES. 34(10):147-166
Availability:
http://explore.bl.uk/primo_library/libweb/action/display.do?tabs=detailsTab&gathStatTab=true&ct=display&fn=search&doc=ETOCCN032359509&indx=1&recIds=ETOCCN032359509
Database:
British Library Document Supply Centre Inside Serials & Conference Proceedings