A non algebraic example of a constructive correctness proof

Access full-text files

EWD375.pdf (190.96 KB)
E.W.Dijkstra Archive_ A non algebraic example of a constructive correctness proof (EWD 375).pdf (411.11 KB)

Date

1973-05

Authors

Journal Title

Journal ISSN

Volume Title

Publisher

Abstract

Department

Computer Science

Description

circulated privately

Keywords

EWD index number 375, Edsger Wybe Dijkstra

LCSH Subject Headings

Citation

URI

https://hdl.handle.net/2152/126377
 https://doi.org/10.26153/tsw/52914

Collections

EWD Index Manuscripts