자바 람다식에 대한 형식 의미론
Formal Semantics for Lambda Expression of Java
0
조회
0
다운로드
0
인용
0
참고문헌
키워드
초록
자바의 최신 기능인 함수 인터페이스와 람다식에 대한 의미구조를 명세하는 것은 향후 유사한 기능을 설계할 때 참고할 수 있고 표준화하는과정이나 최적화된 번역기를 구현하는 과정에서도 필요하다. 본 연구에서는 자바의 함수 인터페이스와 람다식에 대한 의미구조를 표현하기 위해기존의 작용식을 수정하고 업그레이드해서 함수 인터페이스와 람다식의 정적·동적 의미구조를 표현하는 작용식 3.0을 새롭게 제시한다. 작용식3.0에 명세된 의미구조를 자바로 구현해 자바 프로그램들에 대한 실행시간을 측정하고 시뮬레이션을 통해 작용식 3.0이 구현가능한 실제적인 의미구조 명세법인 것을 입증한다. 판독성(Readability) 측면, 모듈성(Modularity) 측면, 확장성(Extensibility) 측면, 융통성(Flexibility) 측면에서 대표적인의미구조 표현법과 작용식 3.0을 비교하여 작용식 3.0의 우월성을 확인하고자 한다.
Abstract
Specifying the semantic structure for functional interfaces and lambda expressions, which are the latest features of Java, can bereferenced when designing similar functions in the future, and is also required in the process of standardizing or implementing an optimizedtranslator. In this study, action equation 3.0 is newly proposed to express the static and dynamic semantic structure of functional interfacesand lambda expressions by modifying and upgrading the existing expressions to express the semantic structures of java functional interfacesand lambda expressions. Measure the execution time of java programs by implementing the semantic structure specified in action equation3.0 in java, and prove that action equation 3.0 is a real semantic structure that can be implemented through simulation. The superiorityof this action equation 3.0 is to be confirmed by comparing the action equation 3.0 specified in the four areas of readability, modularity,extensibility and flexibility with the existing representative semantic expression methods.
참고문헌 (11)
- 한정란, "작용식 2.0 기반 파이썬에 대한 형식 의미론", 정보처리학회논문지. 컴퓨터 및 통신시스템, 10(6), pp.163~172 (2021), 한국정보처리학회
- 한정란, "예외 처리를 위한 형식 의미론", 정보처리학회논문지. 컴퓨터 및 통신시스템, 17(4), pp.173~180 (2010), 한국정보처리학회
- 한정란, "객체 지향 언어를 위한 의미 명세", 인터넷정보학회논문지, 8(5), pp.35~43 (2007), 한국인터넷정보학회
- 한정란, "작용 식 기반 통합 점진 해석 시스템 구축", 정보처리학회논문지. 컴퓨터 및 통신시스템, 11(3), pp.149~156 (2004), 한국정보처리학회
- J. L. Han, "Incremental interpretation based on action equations", Ph. D, pp.1999
- G. J. Smeding, "An executable operational semantics for Python", Master, pp.2009
- D. Guth, "A formal semantics of Python 3. 3", Master, pp.2013
- 지수환, "파이썬을 이용한 구조적 실행 의미구조 구현", 정보과학회논문지, 45(11), pp.1176~1184 (2018), 한국정보과학회[DOI]
- Y. Zhang, "A survey of semantic description frameworks for programming languages", ACM SIGPLAN Notices, 39(3), pp.14~30 (2004)
- J. Alves-Foss, "Formal Syntax and Semantics of Java, Vol 1523 of Lecture Notes in Computer Science", Springer-Verlag
- D. A. Watt, "Formalising the dynamic semantics of Java", ~ (2006)