Los puntos clave no están disponibles para este artículo en este momento.
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.