Interactive Programming.

Abstract

During this period, research and concentrated on the following topics: (1) Verification of concurrent programs: a proof system (2) Temporal proof system for general languages (3) Proving precedence properties (4) Verification of concurrent programs (5) Synthesis of communicating processes from temporal specifications (6) Special relations in program synthetic deduction (7) The logical basis for computer programming (8) Reasoning about digital circuits.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Dec 01, 1983
Accession Number
ADA141186

Entities

People

  • Z. Manna

Organizations

  • Stanford University

Tags

Communities of Interest

  • Materials and Manufacturing Processes

DTIC Thesaurus Topics

  • Abstracts
  • Air Force
  • Circuits
  • Computational Complexity
  • Computer Programming
  • Computer Programs
  • Computer Science
  • Computers
  • Digital Circuits
  • Intervals
  • Language
  • Programming Languages
  • Reasoning
  • Scientific Research
  • Security
  • Specifications
  • Verification

Fields of Study

  • Computer science
  • Engineering

Readers

  • Mathematical Modeling and Probability Theory.