Combining ALGOL Statement Analysis with Validity Checking CACM July, 1960 McIsaac, P. CA600706 JB March 20, 1978 9:15 PM 167 5 167 167 5 167 167 5 167