경량 자바

Lightweight Java

Lightweight Java(LJ)는 완전히 [1][2]공식화되고 확장 가능한 Java의 최소 필수 프래그먼트입니다.이 언어는 케임브리지 대학의 컴퓨터 연구소에서 학술적인 목적으로 설계되었습니다.LJ의 정의는 Isabelle/[3]HOL에서 입증된 유형 사운드입니다.

「 」를 참조해 주세요.

레퍼런스

  1. ^ Strniša, Rok; Sewell, Peter; Parkinson, Matthew (2007-10-21). "The java module system: core design and semantic definition". ACM SIGPLAN Notices - Proceedings of the 2007 OOPSLA Conference, Montreal, Quebec. Association for Computing Machinery. 42 (10): 499–514. doi:10.1145/1297105.1297064. ISBN 978-1-59593-786-5.
  2. ^ Strniša, Rok. "Lightweight Java". rok.strnisa.com. Retrieved 2019-11-25.
  3. ^ Strniša, Rok; Parkinson, Matthew (2011-02-07). "Lightweight Java". Archive of Formal Proofs (Feb 2011 ed.). ISSN 2150-914X. Retrieved 2019-11-25.