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