정보과학회논문지 (Journal of KIISE)
Current Result Document :
| 한글제목(Korean Title) |
파이썬을 이용한 구조적 실행 의미구조 구현 |
| 영문제목(English Title) |
Implementing Structural Operational Semantics in Python |
| 저자(Author) |
지수환
임현승
Suhwan Ji
Hyeonseung Im
|
| 원문수록처(Citation) |
VOL 45 NO. 11 PP. 1176 ~ 1184 (2018. 11) |
한글내용
(Korean Abstract) |
실행 의미구조는 프로그래밍 언어의 의미구조를 형식적으로 엄밀하게 정의할 때 가장 많이 사용하는 기법으로, 프로그램이 실행되는 과정 또는 해석되는 과정을 프로그램의 의미로 정의하는 기법이다. 본 논문에서는 ML 스타일의 간단한 함수형 언어에 대해 파이썬에서 방문자 패턴과 예외 처리를 이용하여 작은 보폭으로 정의된 구조적 실행 의미구조를 구현하는 기법을 소개한다. 본 논문의 이차적인 목적은 학습 난이도가 높고 비교적 덜 알려진 ML, Haskell, Scheme 등과 같은 전통적인 함수형 언어 대신에, 풍부한 라이브러리와 유연한 프로그래밍을 지원하여 사용자층이 폭넓고 두터운 파이썬을 활용하여 프로그래밍 언어 이론의 핵심 개념과 관련 구현 기법을 설명하는 데에 있다.
|
영문내용
(English Abstract) |
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.
|
| 키워드(Keyword) |
실행 의미구조
작은 보폭 의미구조
방문자 패턴
예외 처리
파이썬
operational semantics
small-step semantics
visitor pattern
exception handling
Python
|
| 파일첨부 |
PDF 다운로드
|
