GV

GeezerVison

The World Wide Web, restored to 800 pixels of glory.

Home|About|Gaming cabinet|Archives|How it works|Starter sites

On this site

  • Main page
  • Contents
  • Current events
  • Random article
  • About Wikipedia
  • Contact us
  • Help
  • Learn to edit
  • Community portal
  • Recent changes
  • Upload file
  • Special pages
  • Search
  • Donate

This view

  • Original page
  • New address

GeezerVison is showing en.wikipedia.org — Lightweight Java - Wikipedia

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

  • Lightweight programming language

References

  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.{{cite journal}}: CS1 maint: periodical has ISBN (link)
  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"
Categories:
  • Java (programming language)
  • C programming language family
  • Class-based programming languages
  • Object-oriented programming languages
Hidden category:
  • CS1 maint: periodical has ISBN
You are visitor 01402503 — GeezerVison does not store the pages you look up.
Best viewed with Netscape Navigator 4.7 or Internet Explorer 6 at 800×600. No cookies required.