A Compositional Account of the Java Virtual Machine

Phillip M. Yelland. A Compositional Account of the Java Virtual Machine. In POPL. pages 57-69, 1999. [doi]

Abstract

Abstract is missing.