강타입 언어 (Strongly-typed languages)에서는 컴파일 타임 (Compile time)에 타입을 검증하는 반면, Prolog와 같은 동적 타입 언어 (Dynamically typed languages)는 타입 일관성 체크를 전적으로 런타임 (Run-time)에 수행합니다. 동적 언어에 어설션 (Assertions)을 확장하면 고전적인 타입과 더 일반적인 속성들을 모두 표현할 수 있어 높은 표현력을 제공하지만, 런타임 오버헤드 (Run-time overhead)라는 비용이 발생합니다. 추상 해석 (Abstract interpretation)을 사용하면 컴파일 타임에 이러한 프로그램 속성들을 안전하게 근사할 수 있으며, 이는 런타임 체크가 필요한 속성의 수를 줄이는 동시에, 추가적인 정적 분석 (Static analyses), 테스트 (Testing) 또는 도메인 정교화 (Domain refinement)를 가이드할 수 있는 미검증 속성들을 보고하는 데 사용되어 왔습니다. 본 연구에서는 먼저 어설션 속성의 런타임 시맨틱스 (Run-time semantics)를 다변량 (Multivariant), 탑다운 (Top-down), 목표 지향적 (Goal-directed) 추상 해석 알고리즘에 선택적으로 통합하는 방법을 연구합니다. 그다음, 추론된 다중 호출 패턴 (Multiple inferred calling patterns)을 활용하여 런타임에 반드시 체크해야 하는 속성의 수를 줄임으로써 오버헤드를 최소화하는 방법을 보여줍니다. 마지막으로, Ciao 시스템에 본 접근 방식을 구현한 결과와 함께, 이전에 보고된 기술들보다 더 나은 결과를 얻을 수 있음을 입증하는 성능 결과를 보고합니다.