A Deductive Approach to Programming Methodology.

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.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Dec 01, 1981
Accession Number
ADA131654

Entities

People

  • Zohar Manna

Organizations

  • Stanford University

Tags

Communities of Interest

  • Materials and Manufacturing Processes

DTIC Thesaurus Topics

  • Algorithms
  • Application Software
  • Classification
  • Computer Programming
  • Computer Programs
  • Computer Science
  • Computers
  • Information Systems
  • Invariance
  • Language
  • Military Research
  • Programming Languages
  • Security
  • Specifications
  • Universities
  • Verification

Fields of Study

  • Computer science

Readers

  • Artificial Intelligence
  • Parallel and Distributed Computing.