#slides 프로그램은 왜 실패하는가? 7. 오류 연역

추상적인 프로그램 코드에서 구체적인 프로그램 실행으로의 추론 기법인 연역을 통해서 프로그래밍 오류를 잡아내는 내용이다. 전방 슬라이스, 후방 슬라이스등의 이론을 배우는데, 마치 디버거 제작을 위한 기초 이론을 배우는 것 같다.