A Deductive Approach to Computer Programming.

Abstract

This document consists of three reports: 1)TABLOG - The Deductive Tableau Programming Language; 2) The Origin of the Binary Search Paradigm; and 3) Special Relations in Automated Deduction.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jan 01, 1986
Accession Number
ADA175249

Entities

People

  • Zohar Manna

Organizations

  • Stanford University

Tags

Communities of Interest

  • Autonomy
  • Energy and Power Technologies

DTIC Thesaurus Topics

  • Abstracts
  • Air Force
  • Algorithms
  • Artificial Intelligence
  • Computations
  • Computer Programming
  • Computer Science
  • Computers
  • Language
  • New York
  • Programming Languages
  • Real Numbers
  • Reasoning
  • Scientific Research
  • Side Effects
  • Specifications
  • Square Roots

Fields of Study

  • Computer science