PUMA
Istituto di Scienza e Tecnologie dell'Informazione     
Pinzani R., Aguzzi G. A formalization of FORTRAN input/output. Internal note IEI-B70-29, 1970.
 
 
Abstract
(English)
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.
Subject


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