Formal Semantics Based on Action Equation 2.0 for Python


KIPS Transactions on Computer and Communication Systems, Vol. 10, No. 6, pp. 163-172, Jun. 2021
https://doi.org/10.3745/KTCCS.2021.10.6.163,   PDF Download:
Keywords: Formal Semantics, Action Equation 2.0, Specification of Semantics, Python
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.


Statistics
Show / Hide Statistics

Statistics (Cumulative Counts from September 1st, 2017)
Multiple requests among the same browser session are counted as one view.
If you mouse over a chart, the values of data points will be shown.


Cite this article
[IEEE Style]
J. L. Han, "Formal Semantics Based on Action Equation 2.0 for Python," KIPS Transactions on Computer and Communication Systems, vol. 10, no. 6, pp. 163-172, 2021. DOI: https://doi.org/10.3745/KTCCS.2021.10.6.163.

[ACM Style]
Jung Lan Han. 2021. Formal Semantics Based on Action Equation 2.0 for Python. KIPS Transactions on Computer and Communication Systems, 10, 6, (2021), 163-172. DOI: https://doi.org/10.3745/KTCCS.2021.10.6.163.