잡기 어렵지만 다룰 수 있는: 완전 추상 해석의 재귀 이론적 구조

요약

본 논문은 재귀 이론적 관점에서 추상 해석의 국소적 완전성과 불완전성을 연구합니다. 특히, 국소적 완전성은 전역적 완전성보다 약하며, 특정 전제 조건 하에서 정밀도 손실 없이 추상 계산이 구체적 계산과 일치함을 보여줍니다. 또한, 프로그램 분석 관점에서 동적 분석이 자명한 추상화에 대해서만 균일하게 결정 가능함을 규명합니다.

핵심 포인트

• 추상 해석의 국소적 완전성 연구
• 국소적 완전성은 전역적 완전성보다 약함
• 구성적 추론 및 거짓 양성 배제 가능
• 동적 분석은 자명한 추상화에 한정됨