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
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.