작용식 2.0 기반 파이썬에 대한 형식 의미론
Formal Semantics Based on Action Equation 2.0 for Python
0
조회
0
다운로드
4
인용
0
참고문헌
키워드
초록
프로그래밍 언어의 형식적인 의미를 적절하게 표현하면 언어를 표준화하고 최적화하여 번역하는 과정에서 중요한 역할을 수행한다. 파이썬은주목받는 강력한 언어이고, 파이썬에 대한 형식적인 의미 구조를 정의하고 표현하는 것은 향후 유사한 언어를 설계할 때 참고할 수 있고 표준화하는과정이나 최적화된 번역기를 구현하는 과정에서도 필요하다. 본 연구에서는 파이썬에 대한 의미 구조를 표현하기 위해 기존의 작용식을 수정하고업그레이드해서 파이썬의 정적이고 동적인 의미 구조를 표현하는 작용식 2.0을 새롭게 제시한다. 작용식 2.0에 명세된 의미구조를 자바로 구현해파이썬 프로그램들에 대한 실행시간을 측정하고 시뮬레이션을 통해 작용식 2.0이 구현 가능한 실제적인 의미 구조임을 입증하고, 판독성(Readability), 모듈성(Modularity), 확장성(Extensibility), 융통성(Flexibility)의 네 영역에서 명세된 작용식 2.0을 기존의 대표적인 의미 표현법과비교하여 본 작용식 2.0의 우월성을 확인하고자 한다.
Abstract
To specify a formal semantics for a programming language is to do a significant part for design, standardization and translation ofit. The Python is popular and powerful, it is necessary to do research for a formal semantics to specify a static and dynamic semanticsfor Python clearly in order to design a similar language and do an efficient translation. This paper presents the Action Equation 2.0that specifies a formal semantics for Python to change and update Action Equation. To measure the execution time for Python programs,we implemented the semantic structure specified in Action Equation 2.0 in Java, and prove through simulation that Action Equation 2.0is a real semantic structure that can be implemented. The specified Action Equation 2.0 is compared to other descriptions, in termsof readability, modularity, extensibility, and flexibility and then we verified that Action Equation 2.0 is superior to other formal semantics.
참고문헌 (10)
- 한정란, "예외 처리를 위한 형식 의미론", 정보처리학회논문지. 컴퓨터 및 통신시스템, 17(4), pp.173~180 (2010), 한국정보처리학회
- 한정란, "객체 지향 언어를 위한 의미 명세", 인터넷정보학회논문지, 8(5), pp.35~43 (2007), 한국인터넷정보학회
- 한정란, "작용 식 기반 통합 점진 해석 시스템 구축", 정보처리학회논문지. 컴퓨터 및 통신시스템, 11(3), pp.149~156 (2004), 한국정보처리학회
- 한정란, "작용식 기반 점진 해석", 박사, 컴퓨터학, pp.1999
- Gideon Joachim Smeding, "An executable operational semantics for Python", Master’s, pp.2009
- Dwight Guth, "A Formal Semantics of Python 3.3", Master’s, pp.2013
- 지수환, "파이썬을 이용한 구조적 실행 의미구조 구현", 정보과학회논문지, 45(11), pp.1176~1184 (2018), 한국정보과학회[DOI]
- Yingzhou 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", Springer-Verlag
- David A. Watt, "Formalising the Dynamic Semantics of Java", ~ (2006)