Hispanopedia Wiki
Articulo de referencia

Java ligero

Lightweight Java ( LJ ) es un fragmento imperativo mínimo de Java , totalmente formalizado y extensible . [ 1 ] [ 2 ] El lenguaje fue diseñado con fines académicos dentro del La...

Hispanopedia WikiContenido en espanolLectura gratuita

Lightweight Java ( LJ ) es un fragmento imperativo mínimo de Java , totalmente formalizado y extensible . [ 1 ] [ 2 ] El lenguaje fue diseñado con fines académicos dentro del Laboratorio de Computación de la Universidad de Cambridge . La definición de LJ fue probada como tipada en Isabelle/HOL . [ 3 ]

Véase también

Referencias

  1. ↑ Strniša, Rok; Sewell, Peter; Parkinson, Matthew (21 de octubre de 2007). "El sistema de módulos Java: diseño central y definición semántica" . ACM SIGPLAN Notices . 42 (10). Association for Computing Machinery : 499–514 . doi : 10.1145/1297105.1297064 . ISBN 978-1-59593-786-5.
  2. ↑ Strniša, Rok. "Java ligero" . rok.strnisa.com . Consultado el 25 de noviembre de 2019 .
  3. ↑ Strniša, Rok; Parkinson, Matthew (2011-02-07). "Lightweight Java" . Archive of Formal Proofs ( ed. de febrero de 2011). ISSN 2150-914X . Recuperado el 25 de noviembre de 2019 .