Edge Rewrite
restyle Source code View original
// HTMLRewriter · presentation

This page was redesigned at the edge.

Cloudflare fetched the original article and streamed it through HTMLRewriter to apply an entirely new visual system without rebuilding the source page.

Jump to content

Lightweight Java

Add links
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

[edit]

References

[edit]
  1. ↑ Strniša, Rok; Sewell, Peter; Parkinson, Matthew (2007-10-21). "The java module system: Core design and semantic definition". ACM SIGPLAN Notices. 42 (10). Association for Computing Machinery: 499–514. doi:10.1145/1297105.1297064. ISBN 978-1-59593-786-5.
  2. ↑ Strniša, Rok. "Lightweight Java". rok.strnisa.com. Retrieved 2019-11-25.
  3. ↑ Strniša, Rok; Parkinson, Matthew (2011-02-07). "Lightweight Java". Archive of Formal Proofs (Feb 2011 ed.). ISSN 2150-914X. Retrieved 2019-11-25.
Retrieved from "https://en.wikipedia.org/w/index.php?title=Lightweight_Java&oldid=1292632168"