우리는 재귀 이론적 관점에서 추상 해석의 국소적 완전성과 불완전성을 연구합니다. 국소적 완전성은 전역적 완전성보다 약하며, 특정 전제 조건에 대한 정밀도 손실 부재를 포착합니다: 즉, 추상 계산은 해당 대응하는 구체적 계산을 추상화하여 얻는 것과 정확히 일치한다는 것입니다. 이는 구성적 추론을 가능하게 하고 검증에서 거짓 양성(false positives)을 배제합니다. 우리는 균일하게 결정 가능한 연산의 관점에서 정적 프로그램 분석과 동적 프로그램 분석의 차이를 규명하고, 후자가 자명한 추상화에 대해서만 균일하게 결정 가능하다는 것을 관찰합니다. 그런 다음, 술어(predicate)를 유도하는 프로그램들의 클래스가