A simple axiomatic basis for programming language constructs

Access full-text files

EWD372.pdf (495.93 KB)

Date

1973-05

Authors

Journal Title

Journal ISSN

Volume Title

Publisher

Abstract

Department

Computer Science

Description

circulated privately

Keywords

EWD index number 372, Edsger Wybe Dijkstra

LCSH Subject Headings

Citation

URI

https://hdl.handle.net/2152/126375
 https://doi.org/10.26153/tsw/52912

Collections

EWD Index Manuscripts