최소 단어 이상 선택하여야 합니다.
최대 10 단어까지만 선택 가능합니다.
다음과 같은 기능을 한번의 로그인으로 사용 할 수 있습니다.
NTIS 바로가기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 abstr...
저자 | 어현준 |
---|---|
학위수여기관 | 한국과학기술원 |
학위구분 | 국내석사 |
학과 | 전산학과 |
지도교수 | 이광근,Yi, Kwang-Keun |
발행연도 | 1998 |
총페이지 | iii, 53 p. |
키워드 | 요약 해석 Analyzer Graphic user interface Automatic gerneration Abstract interpretation 분석기 그래픽 사용자 인터페이스 자동 생성 |
언어 | kor |
원문 URL | http://www.riss.kr/link?id=T10508843&outLink=K |
정보원 | 한국교육학술정보원 |
*원문 PDF 파일 및 링크정보가 존재하지 않을 경우 KISTI DDS 시스템에서 제공하는 원문복사서비스를 사용할 수 있습니다.
※ AI-Helper는 부적절한 답변을 할 수 있습니다.