Concern for correctness as a guiding principle for program construction

Access full-text files

EWD288.pdf (327.91 KB)
E.W.Dijkstra Archive_ Concern for Correctness as a Guiding Principle for Program Composition. (EWD 288).pdf (143.22 KB)

Date

1970-07

Authors

Journal Title

Journal ISSN

Volume Title

Publisher

Abstract

Department

Computer Science

Description

circulated privately

Keywords

EWD index number 288, Edsger Wybe Dijkstra

LCSH Subject Headings

Citation

URI

https://hdl.handle.net/2152/126669
 https://doi.org/10.26153/tsw/53206

Collections

EWD Index Manuscripts