Acknowledgement
이 연구는 2020년도 협성대학교 교내연구비 지원에 의한 연구임(20200041).
References
- Jung Lan Han, "Formal Semantics for Processing Exceptions," KIPS Transactions on Computer and Communication Systems, Vol.17, No.4, pp.173-180, Apr. 2010.
- 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.
- 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.
- Jung Lan Han, "Incremental Interpretation Based on Action Equations," Ph. D Thesis Ewha Womans University, 1999.
- Gideon Joachim Smeding, "An executable operational semantics for Python," Master's thesis, Utrecht University, 2009.
- Dwight Guth, "A Formal Semantics of Python 3.3," Master's thesis, University of Illinois, 2013.
- Suhwan Ji, Hyeonseung Im, "Implementing Structural Operational Semantics in Python," Jorunal of Korean Institute of Information Scientists and Engineers, Vol.45, No.11, 2018.
- 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. https://doi.org/10.1145/981009.981013
- J. Alves-Foss, editor. Formal Syntax and Semantics of Java, Vol 1523 of Lecture Notes in Computer Science. Springer-Verlag.
- David A. Watt and Deryck F. Brown, "Formalising the Dynamic Semantics of Java," 2006.