Differences between revisions 4 and 6 (spanning 2 versions)
Revision 4 as of 2025-03-31 08:46:09
Size: 4967
Comment:
Revision 6 as of 2025-03-31 08:55:55
Size: 5064
Comment:
Deletions are marked like this. Additions are marked like this.
Line 48: Line 48:
 .p175 [[ | EWD538 ]] A Collection of Beautiful Proofs
{{ attachment:pythagorean.png | | }}

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.

pythagorean.png

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

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