**기호를 가지고 (symbolic) 실행하는 방식** - 예를 들어 `x := 1; y := 2; z := x + y; w := z * y;` 이런 프로그램이 있을 때, w를 구체적인 (concrete) 입력을 가지고 계산하면 (1 + 2) * 2 = 6으로 계산할 수도 있지만, 변수를 변수 그 자체로 놔둬서 w를 (x + y) * y의 형태로 계산할 수도 있음.