분석기 생성 시스템 Z2에서 그래픽 사용자 인터페이스의 자동 생성 = Automatic generation of graphic user interface on analyzer generating system Z2

• 서명 / 저자: 분석기 생성 시스템 Z2에서 그래픽 사용자 인터페이스의 자동 생성 = Automatic generation of graphic user interface on analyzer generating system Z2 / 어현준.
• 발행사항: [대전 : 한국과학기술원, 1998].

System Z2 is a program analyzer generating system using abstract interpretation.
An analyzer generated by Z2 has some problems of being difficult for the user to observe its analysis results.
We have developed a graphic user interface generating system ZV on top of system Z2. System Z2 gets an abstract interpreter specification as an input, and generates collecting analyzer and its graphic user interface. Through this interface, analysis results in an intuitive relation with the source program, can be shown in an intuitive graphical form. The user can examine the analysis result at each program point interactively by just clicking the mouse button.
We successfully implemented various program analyzers using system Z2 plus ZV.

• 형태사항: iii, 53 p. : 삽화 ; 26 cm
• 언어: 한국어
• 일반주기: 색인 수록 ; 부록 : A, 상수 전달 분석을 위한 요약 해석기 명세 ; 저자명의 영문표기 : Hyun-Jun Eo ; 지도교수의 한글표기 : 이광근 ; 지도교수의 영문표기 : Kwang-Keun Yi
• 학위논문: 학위논문(석사) - 한국과학기술원 : 전산학과,
• 서지주기: 참고문헌 : p. 41-42