Istituto di Scienza e Tecnologie dell'Informazione     
Levi G., Sirovich F. Un sistema per la produzione e la verifica di programmi strutturati. In: XXII Rassegna Internazionale Elettronica Nucleare ed Aerospaziale (Palazzo dei Congressi, Roma, Marzo 1975). Proceedings, pp. 181 - 188. 1975.
The paper describes a system supporting production and verification of programs in a structured programming environment. The system is based on a logical formalism for describing the semantics of the employed programming language and of programs. An interpreter of the formalism is provided which on one hand allows the execution of partially specified programs and on the other hand is able to prove properties of programs. Thus, at any level of the top-down development, programs can be executed and proved correct. An example of program development is given and discussed.

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