Formal underpinnings of Java.

Susan Eisenbach

Published in: OOPSLA Addendum (1998)

Keyphrases

programming language
java programs
open source
source code
object oriented
formal model
formal models
natural language
website
formal specification
formal methods
social networks
software engineering
web services
information retrieval
development environment
formal representation
cross platform