PUMA
Istituto di Scienza e Tecnologie dell'Informazione     
Infante R., Montanari U. Proving structured programs correct, Level by level. In: 1975 International Conference on Reliable Software (Los Angeles, 21-23 April 1975). Proceedings, pp. 427 - 436. 1975.
 
 
Abstract
(English)
Structured programs are developed and documented using levels of "virtual machines". Porblem-oriented data structures and primitives, at each level, are programmed in terms of those at the immediatly lower level, until available programming constructs are reached. We suggest to extend this technique to assertions by expanding the involved predicates level by level.
Subject structured programming, correctures proof, levels of virtual machines, top-down programming, assertions, problem-oriented predicates, level axioms, level proofs, proof checker, run time testing, predicate compilation.


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