Accession Number : ADA131654

Title :   A Deductive Approach to Programming Methodology.

Descriptive Note : Final technical rept. Jan 80-Dec 81,

Corporate Author : STANFORD UNIV CA DEPT OF COMPUTER SCIENCE

Personal Author(s) : Manna,Zohar

PDF Url : ADA131654

Report Date : Dec 1981

Pagination or Media Count : 4

Abstract : This research report concentrated on the following topics: Verification of Concurrent programs: The Temporal Framework; Verification of Concurrent Programs: Temporal Proof Principles; Verification of Sequential Programs: Temporal Axiomatization; Synthesis of Communicating Processes from Temporal Specifications; Deductive Synthesis of the Unification Algorithm; and, Special Relations in Program Synthetic Deduction.

Descriptors :   *Computer programming, *Reasoning, *Logic, Computer program verification, Sequences, Models, Programming languages, Invariance, Algorithms, Semantics, Theorems, Approach, Methodology

Subject Categories : Computer Programming and Software

Distribution Statement : APPROVED FOR PUBLIC RELEASE