Categories
  Encyclosphere.org ENCYCLOREADER
  supported by EncyclosphereKSF

Lightweight Java

From Wikipedia - Reading time: 2 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

[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.
Licensed under CC BY-SA 3.0 | Source: https://en.wikipedia.org/wiki/Lightweight_Java
15 views |
↧ Download as ZWI file
Encyclosphere.org EncycloReader is supported by the EncyclosphereKSF