Corpus a/lightweight-java

Lightweight Java

Uses your system voice; voice and rate in settings.

Snapshot

≈ 1 min read

Cite
APA 7MLA 9ChicagoHarvardIEEEBibTeXRISCSL-JSON
Export
MarkdownTextJSONCSVCard (SVG)PDFCard (PNG)
Learn
Lesson planQuizBibliography

Names in other languages

No names in other languages are held for this entry yet.

Article bodies are English and are not machine-translated. A name in another language is not a translation of the article.

Lightweight Java (LJ) is a fully formalized and extensible minimal imperative fragment of Java. 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.

Lightweight Java (LJ) is a fully formalized and extensible minimal imperative fragment of Java. 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. ==References==

Text derived from https://en.wikipedia.org/w/index.php?oldid=1292632168 under CC BY-SA 4.0; modifications have been made.