CoqJVM: An Executable Specification of the Java Virtual Machine Using Dependent Types.

Published in: TYPES (2007)

Keyphrases

java virtual machine
formal specification
program execution
information systems
web services
high level
sensor networks
data types
cost effective
user defined