Lightweight Java (LJ) is a fully formalized and extensible minimal
imperative fragment of
Java
Java (; id, Jawa, ; jv, ꦗꦮ; su, ) is one of the Greater Sunda Islands in Indonesia. It is bordered by the Indian Ocean to the south and the Java Sea to the north. With a population of 151.6 million people, Java is the world's mo ...
. The language was designed for academic purposes within the
Computer Laboratory, University of Cambridge
The Department of Computer Science and Technology, formerly the Computer Laboratory, is the computer science department of the University of Cambridge. it employed 35 academic staff, 25 support staff, 35 affiliated research staff, and about 15 ...
. The definition of LJ was proven
type-sound in
Isabelle/HOL.
See also
*
Lightweight programming language
Wiktionary:lightweight, Lightweight programming languages are designed to have small memory footprint, are easy to implement (important when porting a language to different computer systems), and/or have Minimalism (computing), minimalist syntax ...
References
{{Reflist
Java (programming language)
C programming language family
Class-based programming languages
Object-oriented programming languages