Non-interference for a JVM-like language.

Gilles Barthe Tamara Rezk

Published in: TLDI (2005)

Keyphrases

object oriented programming
programming language
natural language
language learning
language processing
learning algorithm
virtual machine
machine learning
object oriented
computer simulation
conceptual graphs
specification language
linguistic knowledge
operational semantics
formal language