A static analysis of Pascal program structures
Graham R. Brookes, I. R. Wilson, A. M. Addyman · Software Practice and Experience · 1982
Abstract Analytical techniques, which have been derived from a compiler have been developed for the static analysis of Pascal programs. The results of studies on some user programs are presented which show good agreement with comparable studies for other computer languages, and with the results of studies on the structure of compilers.