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