Intelligent Backtracking

Chang의 정적인 자료종속 관계분석(static data dependency analysis)을 기본으로 하는 효율적인 백트랙킹 방법의 대수학적 모델을 제안하였다. 대수학적 모델의 기초로는 Milner의 Calculus of Communicating Systems(CCS)를 사용하였다. 이러한 접근방법을 이용하면 백트랙킹에 대한 수학적이고 정형적(formal)인 접근이 가능하다.