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