Differences between revisions 4 and 5
Revision 4 as of 2025-03-31 08:46:09
Size: 4967
Comment:
Revision 5 as of 2025-03-31 08:54:53
Size: 5028
Comment:
Deletions are marked like this. Additions are marked like this.
Line 48: Line 48:
 .p175 [[ | EWD538 ]] A Collection of Beautiful Proofs

Selected Writings on Computing: A Personal Perspective

Edsger W. Dijkstra, Springer-Verlag 1982, PSU QA76.24.D54 1982

Many of the algorithms and methods are presented as (pseudo)code, which concatenates operations with semicolons and appears to use indents as flow control - perhaps. I did not take time to specifically understand them, beyond accepting without proof that structure can improve correctness.

]] [[ ]] [[ ]] [[

Dijkstra (last edited 2025-03-31 09:18:48 by KeithLofstrom)