최소 단어 이상 선택하여야 합니다.
최대 10 단어까지만 선택 가능합니다.
다음과 같은 기능을 한번의 로그인으로 사용 할 수 있습니다.
NTIS 바로가기정보처리학회논문지. KIPS transactions on computer and communication systems 컴퓨터 및 통신 시스템, v.12 no.5, 2023년, pp.157 - 164
한정란 (협성대학교 컴퓨터공학과)
Specifying the semantic structure for functional interfaces and lambda expressions, which are the latest features of Java, can be referenced when designing similar functions in the future, and is also required in the process of standardizing or implementing an optimized translator. In this study, ac...
J. L. Han, "Formal semantics for processing exceptions,"?KIPS Transactions on Computer and Communication?Systems, Vol.17, No.4, pp.173-180, Apr. 2010.
J. L. Han, "Specification of semantics for object oriented?programming language," KSII Transactions on Internet?and Information Systems, Vol.8, No.5, pp.35-43, 2007.
J. L. Han and Sung Choi, "Building of integrated increment interpretation system based on action equations,"?The KIPS Transactions: Part A, Vol.11, No.3, pp.149-156,?2004.
J. L. Han, "Incremental interpretation based on action?equations," Ph. D Thesis Ewha Womans University, 1999.
G. J. Smeding, "An executable operational semantics for?Python," Master's thesis, Utrecht University, 2009.
D. Guth, "A formal semantics of Python 3.3," Master's?thesis, University of Illinois, 2013.
S. Ji and H. Im, "Implementing structural operational?semantics in Python," Jorunal of KIISE, Vol.45, No.11,?pp.1176-1184, 2018.
Y. Zhang and B. Xu, "A survey of semantic description?frameworks for programming languages," ACM SIGPLAN?Notices, Vol.39, No.3, pp.14-30, 2004.
J. Alves-Foss, editor. Formal Syntax and Semantics of Java,?Vol 1523 of Lecture Notes in Computer Science. Springer-Verlag.
D. A. Watt and D. F. Brown, "Formalising the dynamic?semantics of Java," 2006.
※ AI-Helper는 부적절한 답변을 할 수 있습니다.