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

  • 1998.10b
  • /
  • Pages.413-415
  • /
  • 1998
  • /
  • 1598-5164(pISSN)
Korean Institute of Information Scientists and Engineers (한국정보과학회)
권호 표지

Reconstructing the Types of Stack-Machine Codes

스택 머신 코드의 타입 분석

  • Published : 1998.10.01

⟨ Previous Next ⟩

Abstract

스택 머신 코드(stack-machine code)를 레지스터 기반 언어로 변환하는데 있어 스택의 타입 정보가 있으면 보다 효율적인 코드를 생성할 수 있음을 알아내었다. 본 논문에서는 스택 머신 코드의 타입을 분석해야 할 이유를 제기하고, 요약해석 방법론에 따라 분석 방법을 제시하고, 제시된 분석 방법의 안전성을 짚어 본다.

Keywords