14.07.2013 Views

Contents - Cultural View

Contents - Cultural View

Contents - Cultural View

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

Lightweight Java 21<br />

Lightweight Java<br />

Lightweight Java (LJ) is a fully-formalized and extensible minimal imperative fragment of Java. [1] [2] The language<br />

was designed for academic purposes within the Computer Laboratory, University of Cambridge. The definition of LJ<br />

was proven type-sound in Isabelle/HOL.<br />

References<br />

[1] http:/ / portal. acm. org/ citation. cfm?doid=1297027. 1297064<br />

[2] http:/ / www. cl. cam. ac. uk/ research/ pls/ javasem/ lj/

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!