Coinductive big-step operational semantics for type soundness of Java-like languages.

Published in: FTfJP@ECOOP (2011)

Keyphrases

operational semantics
type checking
programming language
object oriented languages
formal semantics
open source
mental states
denotational semantics
model theoretic
activity diagrams
source code
object oriented
machine learning
black box
declarative semantics
agent programming
expert systems
databases