Proceedings of the Korean Information Science Society Conference (한국정보과학회:학술대회논문집)
- 2007.06c
- /
- Pages.516-520
- /
- 2007
- /
- 1598-5164(pISSN)
Type based Control Flow Analysis of Multi-Staged Program
다단계 프로그램을 위한 타입 기반의 실행흐름 분석
- Jin, Min-Sik (Programming Research Laboratory, School of Computer Sci. & Eng., Seoul National University) ;
- Yi, Kwang-Keun (Programming Research Laboratory, School of Computer Sci. & Eng., Seoul National University)
- Published : 2007.06.25
Abstract
이 논문에서는 다단계 프로그램의 실행흐름을 타입을 기반으로 분석하는 방법을 제시하고 있다. 다단계 프로그램이란 실행 중 코드를 만들고 실행할 수 있는 언어를 말한다. 본 논문에서는 기존의 고차 함수형 언어의 실행흐름을 분석하는 방법을 다단계 언어를 위해서 확장한 방법을 제시하고 있다. 이 분석은 한 수식이 평가될 때 호출될 수 있는 함수들의 집합을 정적으로 분석하여 다단계 프로그램의 실행흐름 정보를 제공한다.
Keywords