Abstract
(English) | The present paper contains a formal definition of the storage allocation mechanism for the FORTRAN Language.The part of the FORTRAN language here formalized is the one concerning the handling of the statements DIMENSION, COMMON, and EQUIVALENCE. The method used is based on the application of the concept of a Simple Generalized Markov Algorithm. A flow-diagram illustrating the order of application of the rules of the algorithms in also given
|