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


45권  11호, pp. 1176-1184, 11월  2018
10.5626/JOK.2018.45.11.1176


PDF

  요약

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


  통계
2022년 11월부터 누적 집계
동일한 세션일 때 여러 번 접속해도 한 번만 카운트됩니다. 그래프 위에 마우스를 올리면 자세한 수치를 확인하실 수 있습니다.
  논문 참조

[IEEE Style]

S. Ji and H. Im, "Implementing Structural Operational Semantics in Python," Journal of KIISE, JOK, vol. 45, no. 11, pp. 1176-1184, 2018. DOI: 10.5626/JOK.2018.45.11.1176.


[ACM Style]

Suhwan Ji and Hyeonseung Im. 2018. Implementing Structural Operational Semantics in Python. Journal of KIISE, JOK, 45, 11, (2018), 1176-1184. DOI: 10.5626/JOK.2018.45.11.1176.


[KCI Style]

지수환, 임현승, "파이썬을 이용한 구조적 실행 의미구조 구현," 한국정보과학회 논문지, 제45권, 제11호, 1176~1184쪽, 2018. DOI: 10.5626/JOK.2018.45.11.1176.


[Endnote/Zotero/Mendeley (RIS)]  Download


[BibTeX]  Download



Search




Journal of KIISE

  • ISSN : 2383-630X(Print)
  • ISSN : 2383-6296(Electronic)
  • KCI Accredited Journal

사무국

  • Tel. +82-2-588-9240
  • Fax. +82-2-521-1352
  • E-mail. chwoo@kiise.or.kr