Correctness Concerns and, among Other Things, Why They Are Resented

  • Edsger W. Dijkstra
Part of the Texts and Monographs in Computer Science book series (MCS)

Abstract

A historical perspective is provided on issues concerning the correctness of programs.

Keywords

Influenza Expense Alan 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag New York Inc 1978

Authors and Affiliations

  • Edsger W. Dijkstra
    • 1
  1. 1.Burroughs CorporationUSA

Personalised recommendations