Lightweight Java Explained

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

Notes and References

  1. Strniša . Rok . Sewell . Peter . Parkinson . Matthew . The java module system: Core design and semantic definition . ACM SIGPLAN Notices . 2007-10-21 . en . . 42 . 10 . 499–514 . 10.1145/1297105.1297064 . 978-1-59593-786-5 .
  2. Web site: Lightweight Java . rok.strnisa.com . Strniša . Rok . 2019-11-25.
  3. Strniša . Rok . Parkinson . Matthew . 2011-02-07 . Lightweight Java . 2019-11-25 . Archive of Formal Proofs . Feb 2011 . 2150-914X .

This article is licensed under the GNU Free Documentation License. It uses material from the Wikipedia article "Lightweight Java".

Except where otherwise indicated, Everything.Explained.Today is © Copyright 2009-2024, A B Cryer, All Rights Reserved. Cookie policy.