Lightweight Java ( LJ ) es un fragmento de Java totalmente formalizado y extensible en el imperativo mínimo . [1] [2] El lenguaje fue diseñado para fines académicos en el Laboratorio de Computación de la Universidad de Cambridge . La definición de LJ fue probada como correcta en Isabelle/HOL . [3]
Véase también
Referencias
- ^ Strniša, Rok; Sewell, Peter; Parkinson, Matthew (21 de octubre de 2007). "El sistema de módulos Java: diseño básico y definición semántica". Avisos SIGPLAN de la ACM . 42 (10). Association for Computing Machinery : 499–514. doi :10.1145/1297105.1297064. ISBN. 978-1-59593-786-5.
- ^ Strniša, Rok. "Java ligero". rok.strnisa.com . Consultado el 25 de noviembre de 2019 .
- ^ Strniša, Rok; Parkinson, Matthew (7 de febrero de 2011). "Lightweight Java". Archivo de pruebas formales (edición de febrero de 2011). ISSN 2150-914X . Consultado el 25 de noviembre de 2019 .
