지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
논문 기본 정보
- 자료유형
- 학술저널
- 저자정보
- 발행연도
- 2014.2
- 수록면
- 145 - 152 (8page)
- DOI
- 10.14801/kiitr.2014.12.2.145
이용수
초록· 키워드
오류제보하기
본 연구에서는 명령형 언어의 동작 의미론과 명시적 의미론을 순수 함수형 언어 Haskell을 이용하여 인터프리터로 구현하는 과정을 논의한다. Haskell을 이용함으로써 의미론의 구현을 간결하고 직접적으로 코딩할 수 있음을 보인다. 또한 동작 의미론의 상태 변환을 상태 모나드 기법을 적용하여 구현되는 기법을 다룬다. 상태 모나드는 핵심적 모나드로서, 상태 모나드를 이해하는 것은 유사한 구조를 가지고 있는 입출력 모나드나 파서 모나드 등의 다른 모나드를 이해하는 데 도움을 줄 수 있다. 본 연구의 목적은 추상적이고 이론적인 프로그래밍 언어의 의미론을 모나드로 구현함으로써 이 두 분야의 이해도와 접근성을 용이하게 하는 데 있다. 다양한 구현 방법과 이들의 비교는 이 목적 달성을 위한 효과적 방법이라고 보여진다.
목차
요약
Abstract
Ⅰ. 서론
Ⅱ. 관련 연구
Ⅲ. 언어 및 추상 구문 트리
Ⅳ. 인터프리터 구현
Ⅴ. State Monad에 의한 인터프리터
Ⅵ. 결론
References
참고문헌 (11)
참고문헌 신청
1. [단행본] - H. Nielson / 1992 / Semantics with Applications: A Formal Introduction / Wiley
2. [단행본] - D. Friedman / 2008 / Essentials of Programming Languages / MIT Press
3. [단행본] - Eugin Moggi / 1989 / Computational lambda-calculus and monads / Logic in Computer Science
4. [단행본] - Philip Wadler / 1990 / Comprehending Monads / Lisp and Functional Programming Languages
5. [인터넷자원] - / / Monad Homepage
2. [단행본] - D. Friedman / 2008 / Essentials of Programming Languages / MIT Press
3. [단행본] - Eugin Moggi / 1989 / Computational lambda-calculus and monads / Logic in Computer Science
4. [단행본] - Philip Wadler / 1990 / Comprehending Monads / Lisp and Functional Programming Languages
5. [인터넷자원] - / / Monad Homepage
이 논문의 저자 정보
이 논문과 함께 이용한 논문
논리언어에서의 제약조건해결기 구현 및 최적화에 관한 연구
윤문환
,
조근식
한국정보과학회 학술발표논문집
1993
.10
명령형 언어의 데이타플로우의 변환을 위한 효율적인 게이팅 함수 삽입 알고리즘
이병준
,
진미랑
,
박성순
외 1명
한국정보과학회 학술발표논문집
1992
.10
교육용 한글 프로그래밍언어 PELIHAN의 인터프리터 설계 및 구현
진성아
,
박영진
,
박인철
외 2명
한국정보과학회 학술발표논문집
1992
.10
오퍼레이셔널 의미에 기반한 일차 함수형 언어의 정적 분할
안준선
,
한태숙
정보과학회논문지 : 소프트웨어 및 응용
2000
.08
Varimax Rotation and Thereafter: Tutorial on PCA Using Linear Algebra, Visualization, and Python Programming for R and Q analysis
Byung Lee
연구방법논총
2018
.05
최근 본 자료
댓글(0)
0
UCI(KEPA) : I410-ECN-0101-2015-560-001101262