A Dynamic Operational Semantics for JVML

By: Nadia Belblidia, Mourad Debbabi


The primary objective of this work is to grasp the semantics of Java runtime (JavaVirtual Machine Language or JVML) and to compile the underlying meanings into a formal dynamic semantics. JVML is the language interpreted by the Java Virtual Machine (JVM), which is the heart of any Java platform.

Cite as:

Nadia Belblidia, Mourad Debbabi, “A Dynamic Operational Semantics for JVML”, Journal of Object Technology, Volume 6, no. 3 (March 2007), pp. 71-100, doi:10.5381/jot.2007.6.3.a2.

PDF | HTML | DOI | BiBTeX | Tweet this | Post to CiteULike | Share on LinkedIn

The JOT Journal   |   ISSN 1660-1769   |   DOI 10.5381/jot   |   AITO   |   Open Access   |    Contact