파이썬을 이용한 구조적 실행 의미구조 구현

지수환, 임현승

http://doi.org/10.5626/JOK.2018.45.11.1176

실행 의미구조는 프로그래밍 언어의 의미구조를 형식적으로 엄밀하게 정의할 때 가장 많이 사용하는 기법으로, 프로그램이 실행되는 과정 또는 해석되는 과정을 프로그램의 의미로 정의하는 기법이다. 본 논문에서는 ML 스타일의 간단한 함수형 언어에 대해 파이썬에서 방문자 패턴과 예외 처리를 이용하여 작은 보폭으로 정의된 구조적 실행 의미구조를 구현하는 기법을 소개한다. 본 논문의 이차적인 목적은 학습 난이도가 높고 비교적 덜 알려진 ML, Haskell, Scheme 등과 같은 전통적인 함수형 언어 대신에, 풍부한 라이브러리와 유연한 프로그래밍을 지원하여 사용자층이 폭넓고 두터운 파이썬을 활용하여 프로그래밍 언어 이론의 핵심 개념과 관련 구현 기법을 설명하는 데에 있다.