Lightweight Java
From Wikipedia, the free encyclopedia
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
Wikiwand - on
Seamless Wikipedia browsing. On steroids.