Dynamic Denotational Semantics of Java.

Jim Alves-Foss Fong Shing Lam

Published in: Formal Syntax and Semantics of Java (1999)

Keyphrases

denotational semantics
programming language
dynamic environments
open source
high level
spatio temporal
knowledge representation
object oriented
java programs