A Deductive Approach to Programming Methodology.

reportActive / Technical Report | Accession Number: ADA131654 | Open PDF

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.

Author(s):
Manna, Zohar
Author Organization(s):
STANFORD UNIV CA DEPT OF COMPUTER SCIENCE
Descriptive Note:
Final technical rept. Jan 80-Dec 81,
Pagination:
0004

Security Markings

DOCUMENT & CONTEXTUAL SUMMARY

Distribution:
Approved For Public Release

RECORD

Collection: TR
Identifying Numbers
Contract/Grant Number(s):
N00014-76-C-0687
 Subject Terms
Joint Capability Areas:
JCA_1.2_Force Preparation; JCA_1_Force Support; JCA_5.5.2_Task; JCA_5.5_Direct; JCA_5_Command and Control
Communities of Interest:
Materials and Manufacturing Processes
Descriptor(s):
*Computer programming, *Reasoning, *Logic, Computer program verification, Sequences, Models, Programming languages, Invariance, Algorithms, Semantics, Theorems, Approach, Methodology
Field(s)/Group(s):
Computer Programming and Software
Keyword(s):
Deductive reasoning, Temporal logic, Sequential programming
Report Date:
1981 Dec 01