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