Reasoning about Java Classes (Preliminary Report).

Bart Jacobs Joachim van den Berg Marieke Huisman Martijn van Berkum

Published in: OOPSLA (1998)

Keyphrases

object oriented
programming language
source code
open source
lightweight
class labels
formal theory
real time
machine learning
decision trees
java programs
object oriented languages