PUMA
Istituto di Scienza e Tecnologie dell'Informazione     
Caracciolo Di Forino A., Carlucci L. On an algorithmic interpretation of the formal definition of PL/1. Internal note IEI-B69-04, 1969.
 
 
Abstract
(English)
The present work is part of an extensive research program on the formal definition of programming languages. Various methods have been proposed.Beside some attempts towards strictly axiomatic approaches and the methods based on the functional interpretation of programming languages, a basic approach is to provide an interpretational mechanism providing, a step by step interpretation of any program in the language.
Subject PL/1
Algorithmic interpretation


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