Accession Number : ADA141186

Title :   Interactive Programming.

Descriptive Note : Interim technical rept. 1 Oct 82-30 Sep 83,

Corporate Author : STANFORD UNIV CA DEPT OF COMPUTER SCIENCE

Personal Author(s) : Manna,Z

PDF Url : ADA141186

Report Date : Dec 1983

Pagination or Media Count : 7

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.

Descriptors :   *Computer program verification, *Interactions, Computer logic, Programming languages, Invariance, Intercommunication systems, Algorithms, Time dependence, Circuits

Subject Categories : Computer Programming and Software

Distribution Statement : APPROVED FOR PUBLIC RELEASE