Search

A Dynamic Operational Semantics for JVML

By: Nadia Belblidia, Mourad Debbabi

Abstract

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