Lightweight Java

From Seo Wiki - Search Engine Optimization and Programming Languages
Jump to navigationJump to search
This article is an orphan, as few or no other articles link to it. Please introduce links to this page from related articles; suggestions are available. (February 2009)

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.

References

  1. ↑ http://portal.acm.org/citation.cfm?doid=1297027.1297064
  2. ↑ http://www.cl.cam.ac.uk/research/pls/javasem/lj/

If you like SEOmastering Site, you can support it by - BTC: bc1qppjcl3c2cyjazy6lepmrv3fh6ke9mxs7zpfky0 , TRC20 and more...

→

Retrieved from "https://www.seomastering.com:443/w/index.php?title=Lightweight_Java&oldid=10553"