Proceedings of the Korean Information Science Society Conference (한국정보과학회:학술대회논문집)

  • 2007.06c
  • /
  • Pages.516-520
  • /
  • 2007
  • /
  • 1598-5164(pISSN)
Korean Institute of Information Scientists and Engineers (한국정보과학회)
권호 표지

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
Download PDF
⟨ Previous Next ⟩

Abstract

이 논문에서는 다단계 프로그램의 실행흐름을 타입을 기반으로 분석하는 방법을 제시하고 있다. 다단계 프로그램이란 실행 중 코드를 만들고 실행할 수 있는 언어를 말한다. 본 논문에서는 기존의 고차 함수형 언어의 실행흐름을 분석하는 방법을 다단계 언어를 위해서 확장한 방법을 제시하고 있다. 이 분석은 한 수식이 평가될 때 호출될 수 있는 함수들의 집합을 정적으로 분석하여 다단계 프로그램의 실행흐름 정보를 제공한다.

Keywords