Istituto di Scienza e Tecnologie dell'Informazione     
Aguzzi G., Pinzani R. On a formalization of a storage allocation mechanism for Fortran. Internal note CSCE-NI-70-1968 (seconda serie), 1968.
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

Icona documento 1) Download Document PDF

Icona documento Open access Icona documento Restricted Icona documento Private


Per ulteriori informazioni, contattare: Librarian http://puma.isti.cnr.it

Valid HTML 4.0 Transitional