Synthesis of interface specifications for Java classes.

Rajeev Alur Pavol Cerný P. Madhusudan Wonhong Nam

Published in: POPL (2005)

Keyphrases

cross platform
high level
user interface
open source
java applets
java platform
friendly interface
programming language
source code
data sets
development environment
database applications
novice users
program synthesis
specification language
formal specification
multi class
web services
learning algorithm