Journal of Software Engineering Society (소프트웨어공학소사이어티 논문지)

Software Engineering Society (한국정보과학회 소프트웨어공학 소사이어티)
권호 표지

Abstract Interpretation and its Applications

요약 해석 및 응용

  • 창병모 (숙명여자대학교 정보과학부)
  • Published : 2000.09.01

⟨ Previous Next ⟩

Abstract

본 논문에서는 시맨틱스를 기반으로한 대표적인 프로그램 분석 틀로써 최근에 활발한 연구가 진행되고 이는 요약 해석의 기본 개념에 대해서 소개하고 명령형 혹은 객체-지향 언어에서 많이 사용되고 있는 동작 시맨틱스를 기초로 하는 요약 해석에 대해서 설명한다. 또한 최근까지 소개된 요약 해석을 이용한 다양한 응용 분야에 대해서 설명한다.

Keywords