Accession Number : ADA019536

Title :   Verification of Programmed Systems.

Descriptive Note : Interim rept.,

Corporate Author : CARNEGIE-MELLON UNIV PITTSBURGH PA DEPT OF COMPUTER SCIENCE

Personal Author(s) : Ariely,Gideon

Report Date : AUG 1975

Pagination or Media Count : 312

Abstract : A framework for verification issues of programmed systems is suggested. The framework emphasizes the use of mathematical models and the distinction between model and implementation. The implications of the general framework are explored with respect to the following: (1) Lisp-like languages; (2) Sequential Algorithms; (3) Program Structures; (4) Parallel Systems. The thesis deals with several topics: It suggests several criteria for classifying program verification techniques, formalizes Search Algorithms, proves a representation theorem concerning Lisp-like languages, treats extensively sequential algorithms over named-structured domains, formalizes the routine concept, deals in a new fashion with parallel systems and briefly treats issues of assumptions and conventions in programmed systems.

Descriptors :   *Computer programming, *Reliability, Parallel processing, Sequential, Semantics, Mathematical logic, Debugging(Computers), Mathematical models, Recursive functions, Algorithms, Theses

Subject Categories : Computer Programming and Software

Distribution Statement : APPROVED FOR PUBLIC RELEASE