파이썬을 이용한 구조적 실행 의미구조 구현 (Implementing Structural Operational Semantics in Python)

서지정보

· 발행기관 : 한국정보과학회
· 수록지 정보 : 정보과학회논문지 / 45권 / 11호 / 1176 ~ 1184페이지
· 저자명 : 지수환, 임현승

초록

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

영어초록

Operational semantics is the most commonly used technique to formally define the semantics of a programming language. It defines the meaning of a program in terms of how it is executed or interpreted as a sequence of computational steps. This paper introduces an implementation technique for small-step structural operational semantics for a simple ML-style functional language using visitor patterns and exception handling in Python. The secondary objective of this paper is to explain the core concepts of programming language theory and the techniques for implementing these concepts using Python, instead of traditional functional languages such as ML, Haskell, and Scheme.
Since Python has a wide abundant user base due to its rich library and flexibility, it is more suitable to explain operational semantics for common users than functional languages, which are relatively less known and have a high learning curve.

참고자료

· 없음