Accession Number:

ADA127900

Title:

A Deductive Approach to the Debugging, Verification, and Modification of Programs.

Descriptive Note:

Interim rept. 1 Oct 81-30 Sep 82,

Corporate Author:

STANFORD UNIV CA DEPT OF COMPUTER SCIENCE

Personal Author(s):

Report Date:

1982-10-01

Pagination or Media Count:

7.0

Abstract:

This report summarizes research activities concentrated on the following topics 1 Verification of Concurrent Programs The Temporal Framework 2 Verification of Concurrent Programs Temporal Proof Principles 3 Verification of Sequential Programs Temporal Axiomatization 4 Verification of Concurrent Programs A Temporal Proof System 5 How to Cook a Temporal Proof System for General Languages 6 Verification of Concurrent Programs Proving Eventualities by Well-Founded Ranking 7 Synthesis of Communicating Processes from Temporal Specifications 8 Deductive Synthesis of the Unification Algorithm and 9 Special Relations in Program Synthetic Deduction.

Subject Categories:

  • Administration and Management
  • Computer Programming and Software

Distribution Statement:

APPROVED FOR PUBLIC RELEASE