Istituto di Scienza e Tecnologie dell'Informazione     
Pinzani R., Aguzzi G. A formalization of FORTRAN input/output. Internal note IEI-B70-29, 1970.
The present paper contains a formal definition of the input/output mechanism for the FORTRAN language. A formal description of the semantic of the formatted and unformatted READ and WRITE statements is given. The method used is based on the application of the concept of Conditioned Functional Generalized Markov Algorithm.

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