On the axiomatic definition of semantics

Access full-text files

EWD367.pdf (409.13 KB)

Date

1973-04

Authors

Journal Title

Journal ISSN

Volume Title

Publisher

Abstract

Department

Computer Science

Description

circulated privately

Keywords

EWD index number 367, Edsger Wybe Dijkstra

LCSH Subject Headings

Citation

URI

https://hdl.handle.net/2152/126372
 https://doi.org/10.26153/tsw/52909

Collections

EWD Index Manuscripts