Inductive Proof Outlines for Monitors in Java.

Erika Ábrahám Frank S. de Boer Willem P. de Roever Martin Steffen

Published in: FMOODS (2003)

Keyphrases

source code
inductive learning
object oriented
programming language
open source
machine learning
theorem proving
database applications
java programs
web applications
real time
concept learning
linear logic
proof planning
software engineering
web services
cross platform
website
distributed object
byte code