A Theory of Featherweight Java in Isabelle/HOL.

J. Nathan Foster Dimitrios Vytiniotis

Published in: Arch. Formal Proofs (2006)

Keyphrases

theorem prover
natural deduction
object oriented
formal methods
real time
computational model
information theory
data mining
byte code
lightweight
inference rules
first order logic
theorem proving
theoretical basis
development environment
general theory
software development
open source