Most computer programs presently being executed are actually objects produced by compilers of high level languages. Therefore the 'quality' of the object code produced by compilers has been studied extensively. This quality is usually stated in terms of execution time and memory requirements.
In this thesis, a compiler model with an emphasis to code optimization phase and various important optimization algorithms are studied. And a software, CODE-IMPROVER, has been designed as a means of experimentally testing effectiveness of various algorithms.
The CODE-IMPOVER depends in addition to the original high level language on the characteristics of an intermidiate language required. For this purpose, an intermidiate language called SIMPL-T has been studied.
콤파일러에 의해서 발생되는 object code 는, 그것이 시행되는 시간과 차지하는 용량의 견지에서 볼 때, object code 의 quality가 문제로 나타난다. 이것은 프로그래밍의 미숙뿐만 아니라, 프로그램을 읽거나 변경을 쉽게 할 수 있도록 하는데에서 기인된다. 더구나, 사용자가 접근할 수 없는 부분에서도 그 이유를 찾을 수 있다.
본 연구의 목적은, 이러한 quality 를 높일 수 있는 CODE -IMPROVER를 제작했다. 'SIMPL-T' 의 intermediate language와 유사한 언어는, 그 언어의 특성과 함께, 이 CODE-IMPROVER 의 입력이 될 수 있다.