정적 단일 배정문 기반의 타입 추론=

Title
정적 단일 배정문 기반의 타입 추론=
Authors
김지민
Keywords
SSA Form Type Inference
Issue Date
2007
Publisher
인하대학교
Abstract
자바는 객체지향 언어이며 인터넷 응용 프로그램을 위한 언어로 잘 알려져 있다. 하지만 자바를 이용하여 애플리케이션을 개발하면 C 또는 C++같은 언어로 작성하는 것보다 느리다는 단점을 갖고 있다. 이러한 문제점을 극복하기 위해서는 프로그램에 대한 분석과 최적화가 요구되어진다. 프로그램 분석과 최적화를 위해서는 프로그램의 실행 정보를 포함하고 있는 바이트코드를 분석해야 한다. 바이트코드는 프로그램의 수행과 관련된 정보가 숨겨져 있다. 비록 바이트코드가 많
Description
제1장 서론 = 1 제2장 연구 동기 및 기존 타입 전파 방법 = 5 2.1 연구 동기 = 5 2.2 기존 타입 전파 방법 = 7 제3장 SSA Form 구성 = 10 3.1 바이트코드에서 3-주소 형태 코드로의 변환 = 10 3.2 지배자 경계 구하기 = 15 제4장 타입 제약 모델을 이용한 타입 추론 = 19 4.1 호출 그래프와 계층 그래프 = 19 4.2 노드 추적 = 21 4.3 타입이 동등한 노드 찾기 = 22 4.4 타입 전파
URI
http://dspace.inha.ac.kr/handle/10505/19971
Appears in Collections:
College of Engineering(공과대학) > Computer Engineering (컴퓨터공학) > Theses(컴퓨터정보공학 석박사 학위논문)
Files in This Item:
19561.pdfDownload

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.

Browse