Lehká Java - Lightweight Java

Lehká Java (LJ) je plně formalizované a rozšiřitelné minimum rozkazovací způsob fragment z Jáva.[1][2] Jazyk byl navržen pro akademické účely v rámci EU Počítačová laboratoř, University of Cambridge. Definice LJ byla prokázána typový zvuk v Isabelle / HOL.[3]

Viz také

Reference

  1. ^ Strniša, Rok; Sewell, Peter; Parkinson, Matthew (2007-10-21). „Systém modulů Java: základní design a sémantická definice“. Sdělení ACM SIGPLAN - Sborník příspěvků z konference OOPSLA 2007, Montreal, Quebec. Sdružení pro výpočetní techniku. 42 (10): 499–514. doi:10.1145/1297105.1297064. ISBN  978-1-59593-786-5.
  2. ^ Strniša, Rok. „Lehká Java“. rok.strnisa.com. Citováno 2019-11-25.
  3. ^ Strniša, Rok; Parkinson, Matthew (07.02.2011). „Lehká Java“. Archiv formálních důkazů (Únor 2011 ed.). ISSN  2150-914X. Citováno 2019-11-25.