Categories
  Encyclosphere.org ENCYCLOREADER
  supported by EncyclosphereKSF

Lightweight Java

From HandWiki - Reading time: 1 min

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

  1. ↑ Strniša, Rok; Sewell, Peter; Parkinson, Matthew (2007-10-21). "The java module system: Core design and semantic definition" (in en). ACM SIGPLAN Notices (Association for Computing Machinery) 42 (10): 499–514. doi:10.1145/1297105.1297064. ISBN 978-1-59593-786-5. http://portal.acm.org/citation.cfm?doid=1297105.1297064. 
  2. ↑ Strniša, Rok. "Lightweight Java". https://rok.strnisa.com/research/lj/. 
  3. ↑ Strniša, Rok; Parkinson, Matthew (2011-02-07). "Lightweight Java". Archive of Formal Proofs. ISSN 2150-914X. https://www.isa-afp.org/entries/LightweightJava.html. Retrieved 2019-11-25. 



Retrieved from "https://handwiki.org/wiki/index.php?title=Lightweight_Java&oldid=3432675"
Licensed under CC BY-SA 3.0 | Source: https://handwiki.org/wiki/Lightweight_Java
16 views | Status: cached on August 29 2024 22:58:12
↧ Download this article as ZWI file
Encyclosphere.org EncycloReader is supported by the EncyclosphereKSF