Dynamic Denotational Semantics of Java

Jim Alves-Foss, Fong Shing Lam. Dynamic Denotational Semantics of Java. In Jim Alves-Foss, editor, Formal Syntax and Semantics of Java. Volume 1523 of Lecture Notes in Computer Science, pages 201-240, Springer, 1999. [doi]

Abstract

Abstract is missing.