Lightweight Java ( LJ ) — это полностью формализованный и расширяемый минимальный императивный фрагмент Java . [1] [2] Язык был разработан для академических целей в компьютерной лаборатории Кембриджского университета . Определение LJ было доказано типизированным в Isabelle/HOL . [3]
Смотрите также
Ссылки
- ^ Стрниша, Рок; Сьюэлл, Питер; Паркинсон, Мэтью (2007-10-21). «Система модулей Java: основная конструкция и семантическое определение». Уведомления ACM SIGPLAN . 42 (10). Ассоциация вычислительной техники : 499–514. doi :10.1145/1297105.1297064. ISBN 978-1-59593-786-5.
- ^ Стрниша, Рок. «Легкая Ява». rok.strnisa.com . Проверено 25 ноября 2019 г.
- ^ Стрниша, Рок; Паркинсон, Мэтью (2011-02-07). "Lightweight Java". Архив формальных доказательств (ред. февр. 2011 г.). ISSN 2150-914X . Получено 2019-11-25 .
