Lightweight Java

From Wikipedia, the free encyclopedia
Jump to navigation Jump to search

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

Script error: No such module "Portal".

References

<templatestyles src="Reflist/styles.css" />

  1. ↑ Script error: No such module "Citation/CS1".
  2. ↑ Script error: No such module "citation/CS1".
  3. ↑ Script error: No such module "Citation/CS1".

Script error: No such module "Check for unknown parameters".

Retrieved from "http://debianws.lexgopc.com/wiki143/index.php?title=Lightweight_Java&oldid=7826345"