서지주요정보
분석기 생성 시스템 Z2에서 그래픽 사용자 인터페이스의 자동 생성 = Automatic generation of graphic user interface on analyzer generating system Z2
서명 / 저자 분석기 생성 시스템 Z2에서 그래픽 사용자 인터페이스의 자동 생성 = Automatic generation of graphic user interface on analyzer generating system Z2 / 어현준.
저자명 어현준 ; Eo, Hyun-Jun
발행사항 [대전 : 한국과학기술원, 1998].
Online Access 원문보기 원문인쇄

소장정보

등록번호

8008917

소장위치/청구기호

학술문화관(문화관) 보존서고

MCS 98024

SMS전송

도서상태

이용가능

대출가능

반납예정일

등록번호

9004658

소장위치/청구기호

서울 학위논문 서가

MCS 98024 c. 2

SMS전송

도서상태

이용가능

대출가능

반납예정일

초록정보

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.

서지기타정보

서지기타정보
청구기호 {MCS 98024
형태사항 iii, 53 p. : 삽도 ; 26 cm
언어 한국어
일반주기 색인 수록
부록 : A, 상수 전달 분석을 위한 요약 해석기 명세
저자명의 영문표기 : Hyun-Jun Eo
지도교수의 한글표기 : 이광근
지도교수의 영문표기 : Kwang-Keun Yi
학위논문 학위논문(석사) - 한국과학기술원 : 전산학과,
서지주기 참고문헌 : p. 41-42
주제 분석기
그래픽 사용자 인터페이스
자동 생성
요약 해석
Analyzer
Graphic user interface
Automatic gerneration
Abstract interpretation
QR CODE qr code