Login / Signup

Machine-Checking the Java Specification: Proving Type-Safety.

David von OheimbTobias Nipkow
Published in: Formal Syntax and Semantics of Java (1999)
Keyphrases
  • type checking
  • high level
  • object oriented
  • programming language
  • open source
  • specification language
  • tool suite
  • data sets
  • wireless sensor networks
  • source code
  • database applications
  • formal verification
  • java programs