특정판 필터링펼치기접기 끝 날짜:태그 필터:wikieditor (숨긴 태그)넘겨주기 대상 변경넘겨주기 제거되돌려진 기여새 넘겨주기서버측 업로드수동 되돌리기시각 편집시각 편집: 전환됨 판 보이기 차이 선택: 비교하려는 판의 라디오 버튼을 선택한 다음 엔터나 아래의 버튼을 누르세요. 설명: (최신) = 최신 판과 비교, (이전) = 이전 판과 비교, 잔글= 사소한 편집 2023년 11월 10일 (금) 최신이전 05:132023년 11월 10일 (금) 05:13 Ahn9807 토론 기여 잔글 3,225 바이트 +6 →개요 태그: 시각 편집 최신이전 04:382023년 11월 10일 (금) 04:38 Ahn9807 토론 기여 3,219 바이트 +10 →같이 보기 태그: 시각 편집: 전환됨 최신이전 04:382023년 11월 10일 (금) 04:38 Ahn9807 토론 기여 3,209 바이트 +3,209 새 문서: 분류: 프로그램 분석 == 개요 == 큰 프로그램에 대해서 Anderson algorithm과 같은 경우에는 세제곱 복잡도로 인해서 성능이 매우 느려진다. Steensgaard 알고리즘은 정확도를 포기해서 거의 Linear-time에 프로그램 분석을 가능하도록 하는 알고리즘이다. 본 알고리즘은 Field-insensitive 알고리즘이며, 만약 Field sensitive하게 알고리즘을 만들면 이 알고리즘은 더이상 Linear-t...