간섭으로 인한 변수 값의 변화로 인해 프로그램 텍스트에서 표현식과 테스트를 논리적 맥락으로 복사하는 것이 주의를 요구한다. 의존-보장 접근법은 허용 가능한 간섭을 기록하고 안전한 추론 규칙을 제공하는 방법을 제공한다.
