Describing the Semantics of Java and Proving Type Soundness.

Sophia Drossopoulou Susan Eisenbach

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

Keyphrases

object oriented
programming language
logic programming
database applications
formal semantics
database
real time
databases
information systems
high level
multi agent
lightweight
semantic information
conceptual model
operational semantics