Key points are not available for this paper at this time.
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.
Brookes et al. (Fri,) studied this question.