Browse > Article
http://dx.doi.org/10.3745/KTCCS.2021.10.6.163

Formal Semantics Based on Action Equation 2.0 for Python  

Han, Jung Lan (협성대학교 컴퓨터공학과)
Publication Information
KIPS Transactions on Computer and Communication Systems / v.10, no.6, 2021 , pp. 163-172 More about this Journal
Abstract
To specify a formal semantics for a programming language is to do a significant part for design, standardization and translation of it. The Python is popular and powerful, it is necessary to do research for a formal semantics to specify a static and dynamic semantics for Python clearly in order to design a similar language and do an efficient translation. This paper presents the Action Equation 2.0 that 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.0 is a real semantic structure that can be implemented. The specified Action Equation 2.0 is compared to other descriptions, in terms of readability, modularity, extensibility, and flexibility and then we verified that Action Equation 2.0 is superior to other formal semantics.
Keywords
Formal Semantics; Action Equation 2.0; Specification of Semantics; Python;
Citations & Related Records
연도 인용수 순위
  • Reference
1 Dwight Guth, "A Formal Semantics of Python 3.3," Master's thesis, University of Illinois, 2013.
2 Jung Lan Han, "Formal Semantics for Processing Exceptions," KIPS Transactions on Computer and Communication Systems, Vol.17, No.4, pp.173-180, Apr. 2010.
3 Jung Lan Han, "Specification of Semantics for Object Oriented Programming Language," KSII Transactions on Internet and Information Systems, Vol.8, No.5, pp.35-43, 2007.
4 Jung Lan Han and Sung Choi, "Building of Integrated Increment Interpretation System Based on Action Equations," KIPS Transactions on Computer and Communication Systems, Vol.11, No.3, pp.149-156, Mar. 2004.
5 Jung Lan Han, "Incremental Interpretation Based on Action Equations," Ph. D Thesis Ewha Womans University, 1999.
6 Gideon Joachim Smeding, "An executable operational semantics for Python," Master's thesis, Utrecht University, 2009.
7 Yingzhou Zhang and Baowen Xu, "A Survey of Semantic Description Frameworks for Programming Languages," ACM SIGPLAN Notices, Vol.39, No.3, pp.14-30, Mar. 2004.   DOI
8 Suhwan Ji, Hyeonseung Im, "Implementing Structural Operational Semantics in Python," Jorunal of Korean Institute of Information Scientists and Engineers, Vol.45, No.11, 2018.
9 J. Alves-Foss, editor. Formal Syntax and Semantics of Java, Vol 1523 of Lecture Notes in Computer Science. Springer-Verlag.
10 David A. Watt and Deryck F. Brown, "Formalising the Dynamic Semantics of Java," 2006.