Deductive Computer Programming

Abstract

It is generally agreed that providing a precise formal semantics for a programming language is helpful in fully understanding the language. This is especially true in the case of logic programming like languages for which the underlying logic provides a well-defined but insufficient semantic basis. Indeed, in addition to the usual model theoretic semantics of the logic, proof, theoretic deduction plays a crucial role in understanding logic programs. Moreover, for specific implementations of logic programming, e.g. PROLOG, the notion of deduction strategy is also important. Computer program languages.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Feb 28, 1988
Accession Number
ADA216670

Entities

People

  • Zohar Manna

Organizations

  • Stanford University

Tags

DTIC Thesaurus Topics

  • Air Force
  • Availability
  • Classification
  • Compilers
  • Computations
  • Computer Programming
  • Computer Programs
  • Computer Science
  • Computers
  • Contracts
  • Language
  • Mathematics
  • Programming Languages
  • Semantics
  • Virtual Machines

Fields of Study

  • Computer science

Readers

  • Computational Linguistics
  • Systems Analysis and Design