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
fonte: https://web.archive.org/web/20170331102400/https://en.wikipedia.org/wiki/Lightweight_Java