Lightweight Java

Rok Strniša and Matthew Parkinson

7 February 2011

Abstract

A fully-formalized and extensible minimal imperative fragment of Java.
BSD License

Topics

Theories

Cite

×
@article{LightweightJava-AFP,
  author  = {Rok Strniša and Matthew Parkinson},
  title   = {Lightweight Java},
  journal = {Archive of Formal Proofs},
  month   = February,
  year    = 2011,
  note    = {\url{http://isa-afp.org/entries/LightweightJava.html},
            Formal proof development},
  ISSN    = {2150-914x},
}
Download