Proving Java Type Soundness.

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

Keyphrases

machine learning
data mining
real time
website
object oriented
information retrieval
computer vision
general purpose
programming language
strongly typed
databases
web services
data model
multiple types