Deductive Programming

Abstract

Our research concentrated on the following topics: Special Relations in Automated Deduction, Binary-Search Algorithms, A Theory of Plans, Deductive Synthesis of Dataflow Networks, Logic: The Calculus of Computer Science, Verification of concurrent Programs, A Resolution Approach to Temporal Proofs, Specification and Verification by Predicate Automata, A Hierarchy of Temporal Properties, Logic Programming Semantics: Techniques and Applications. Keywords: Programming language.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Nov 01, 1988
Accession Number
ADA202489

Entities

People

  • Zohar Manna

Organizations

  • Stanford University

Tags

Communities of Interest

  • Materials and Manufacturing Processes

DTIC Thesaurus Topics

  • Automata
  • Computations
  • Computer Programming
  • Computer Science
  • Computers
  • Equations
  • Hierarchies
  • Language
  • Naval Warfare
  • Numbers
  • Programming Languages
  • Real Numbers
  • Semantics
  • Sequences
  • Specifications
  • Square Roots
  • Theorems

Fields of Study

  • Computer science
  • Engineering

Readers

  • Computational Linguistics