특정판 필터링펼치기접기 끝 날짜:태그 필터:wikieditor (숨긴 태그)넘겨주기 대상 변경넘겨주기 제거되돌려진 기여새 넘겨주기서버측 업로드수동 되돌리기시각 편집시각 편집: 전환됨 판 보이기 차이 선택: 비교하려는 판의 라디오 버튼을 선택한 다음 엔터나 아래의 버튼을 누르세요. 설명: (최신) = 최신 판과 비교, (이전) = 이전 판과 비교, 잔글= 사소한 편집 2023년 11월 10일 (금) 최신이전 03:452023년 11월 10일 (금) 03:45 Ahn9807 토론 기여 872 바이트 +4 편집 요약 없음 2023년 11월 8일 (수) 최신이전 03:442023년 11월 8일 (수) 03:44 Ahn9807 토론 기여 868 바이트 +868 새 문서: 분류: 프로그램 분석 == 개요 == Abstract Interpretation이란, 프로그램을 Soundess를 충족하는 Abstraction(추상화)를 만들어서 Program을 검증하는 것이다. Abstract Interpretation은 Static analysis를 구현하는 이론적인 토대가 되어서, Compiler에서 프로그램의 Optimization이나, Verifier에서 프로그램의 문제를 분석하는 것에 사용된다. 프로그램을 Concrete한 정보를 가지고 분석하는 일은...