Lightweight Java

Lightweight Java (LJ) is a fully formalized and extensible minimal imperative fragment of Java.[1][2] The language was designed for academic purposes within the Computer Laboratory, University of Cambridge. The definition of LJ was proven type-sound in Isabelle/HOL.[3]

See also

References

  1. ↑ http://portal.acm.org/citation.cfm?doid=1297027.1297064
  2. ↑ http://rok.strnisa.com/lj/
  3. ↑ http://afp.sourceforge.net/entries/LightweightJava.shtml