Two Kinds of Program Specifications

  • John McCarthy
Conference paper
Part of the ESPRIT Basic Research Series book series (ESPRIT BASIC)

Abstract

Almost all computer programs interact in some way with the world outside the computer, but this interaction is rather trivial for most programs whose specification or verification has been studied. Thus a program for computing a mathematical function generally has trivial interaction, whereas interaction with the outside world is the essence of a program for controlling the landings of airplanes.

Keywords

ECSC 

Copyright information

© ECSC — EEC — EAEC, Brussels — Luxembourg 1990

Authors and Affiliations

  • John McCarthy
    • 1
  1. 1.Computer Science DepartmentStanford UniversityStanfordUSA

Personalised recommendations