K-Java: A Complete Semantics of Java.

Denis Bogdanas Grigore Rosu

Published in: POPL (2015)

Keyphrases

source code
object oriented
java programs
programming language
open source
database applications
java code
byte code
cross platform
development environment
web applications
distributed object
information systems
lightweight
java card
high level
java virtual machine
object oriented languages
data sets