Edsger W. Dijkstra Archive

Home

Search

Numerical
EWD Index:
    00xx
    01xx
    02xx
    03xx
    04xx
    05xx
    06xx
    07xx
    08xx
    09xx
    10xx
    11xx
    12xx
    13xx

BibTeX index

MC Reports

Other documents

Transcriptions

Video and Audio

External links

EWD Manuscripts 600-699

EWD number Size (KB) Title transcriptions
600 82 A sequel to EWD592
601 86 Tripreport E.W.Dijkstra, Munich 24–26 November 1976 EWD601.html
602 25 Comments on Arbeitsblatt 3 from o.Prof.Dr.F.L.Bauer (with C.S.Scholten)
603 229 Tripreport E.W.Dijkstra, St.Pierre-de-Chartreuse, 12–19 Dec.1976 EWD603.html
604 75 Paying logical conscience-money to the fair demon EWD604.html
605 148 Tripreport E.W.Dijkstra, Columbus - Pittsburgh - Paoli, 12-22 January 1977 EWD605.html
606 51 Eerste toespraak tot mijn studenten, voorjaar 1977 EWD606.html
607 158 A correctness proof for communicating processes: a small exercise
608 114 An elephant inspired by the Dutch National Flag
609 56 Tweede toespraak tot mijn studenten, voorjaar 1977 EWD609.html
611 325 On the fact that the Atlantic Ocean has two sides EWD611.html
612 52 Derde toespraak tot mijn studenten, voorjaar 1977 EWD612.html
613 261 Tripreport E.W.Dijkstra, Australia, 16 February 1977 – 21 March 1977 EWD613.html
614 134 A somewhat open letter to EAA or: why I proved the boundedness of the non-determinacy in the way I did
615 53 Vierde toespraak tot mijn studenten, voorjaar 1977 EWD615.html
616 52 Vijfde toespraak tot mijn studenten, voorjaar 1977 EWD616.html
617 55 Zesde toespraak tot mijn studenten, voorjaar 1977 EWD617.html
618 128 On Webster, users, bugs and Aristotle EWD618.html
619 352 Essays on the nature and role of mathematical elegance EWD619.html
620 45 Zevende toespraak tot mijn studenten, voorjaar 1977 EWD620.html
621 48 Achtste toespraak tot mijn studenten, voorjaar 1977 EWD621.html
622 482 On making solutions more and more fine-grained (In gratitude dedicated to C.A.R.Hoare, D.E.Knuth, and J.F.Traub.)
623 144 The mathematics behind the Banker's Algorithm
624 73 Stationary behaviour of some ternary networks EWD624.html
625 99 Two starvation-free solutions of a general exclusion problem EWD625.html
626 50 WASSERMAN, Antony I. en Peter FREEMAN (Eds.). Software Engineering Education. Needs and Objectives. Proceedings of an Interface Workshop. New York/Heidelberg/Berlin. Springer-Verlag, 1976. EWD626.html
627 125 A position paper on Software Reliability EWD627.html
628 32 Naar aanleiding van een eigenlijk wat beledigend stukje EWD628.html
629 183 On two beautiful solutions designed by Martin Rem
630 692 On-the-fly garbage collection: an exercise in cooperation (with L. Lamport, A.J. Martin, C.S.Scholten, E.F.M. Steffens)
631 88 Re: ``Formal derivation of strongly correct parallel programs'' by Axel van Lamsweerde and M.Sintzoff EWD631.html
633 211 Tripreport E.W.Dijkstra, 29 July – 21 August 1977 EWD633.html
634 112 Position paper on the impact of microprocessors (IFIP77) EWD634.html
635 202 Tripreport E.W.Dijkstra, Newcastle-upon-Tyne, 5–10 Sept. 1977 EWD635.html
636 203 Why naive program transformation systems are unlikely to work
637 77 The Three Golden Rules for Successful Scientific Research EWD637.html
638 115 A political pamphlet from the Middle Ages EWD638.html
639 138 The introduction of MAES® EWD639.html
640 213 Finding the correctness proof of a concurrent program
640a 275 Finding the correctness proof of a concurrent program
641 437 On the interplay between mathematics and programming EWD641.html
642 248 A special sorting elephant
643 124 A class of simple communication patterns (with C.S.Scholten) EWD643.html
644 205 Letter to J. Arsac EWD644.html
645 186 Tripreport E.W.Dijkstra, USA 19-30 October 1977 EWD645.html
646 79 A not so simple theorem about undirected graphs
647 138 Commentaar op een ontwikkeling binnen de TH's EWD647.html
648 448 ``Why is software so expensive?'' An explanation to the hardware designer EWD648.html
649 30 A supplement to EWD591 ``The problem of the maximum length of an ascending subsequence'' EWD649.html
650 65 A theorem about odd powers of odd integers
651 122 A strong P/V-implementation of conditional critical regions
652 84 A correction on EWD651
653 415 Exploiting contiguity in a linear store
654 38 In honour of Fibonacci
655 119 Essays on the nature and role of mathematical elegance (3): On notation (A sequel to EWD619) EWD655.html
656 312 An introduction to implementation issues EWD656.html
657 91 On leaves and nodes: a simplification of EWD653
658 105 On language constraints enforceable by translators (An open letter to Lt.Col. William A.Whitaker) EWD658.html
659 221 On the BLUE Language submitted to DoD EWD659.html
660 200 On the GREEN Language submitted to the DoD EWD660.html
661 183 On the RED Language submitted to the DoD EWD661.html
662 160 On the YELLOW Language submitted to the DoD EWD662.html
663 176 The summing-up EWD663.html
665 268 Trip report E.W.Dijkstra, U.K. - Bahamas - U.S.A., 11–30 April 1978 EWD665.html
666 93 A problem solved in my head EWD666.html
667 87 On the foolishness of ``natural language programming'' EWD667.html
668 168 On the correctness of a design by Alain J.Martin
669 78 A book review EWD669.html
670 70 Sequencing and the discriminated union
671 100 Program inversion
672 94 More on A.J.Martin's design (A sequel to EWD668)
673 85 On weak and strong termination
674 108 Tripreport E.W.Dijkstra, Zuerich, 2–7 July 1978 EWD674.html
675 65 The equivalence of bounded nondeterminacy and continuity
676 180 Tripreport E.W.Dijkstra, Marktoberdorf 24 July – 6 August 1978 EWD676.html
677 70 On one of Cayley's theorems EWD677.html
678 123 A story that starts with a very good computer EWD678.html
679 243 Tripreport E.W.Dijkstra, Newcastle-London-Lancaster, 4–13 Sep. 1978 EWD679.html
680 70 A book review EWD680.html
682 402 The nature of Computer Science (first draft) EWD682.html
683 87 To a new member of The Tuesday Afternoon Club EWD683.html
684 189 Termination detection for diffusing computations (with C.S.Scholten) EWD684.html
685 39 The problem of the Swiss football players EWD685.html
687 157 Termination detection for diffusing computations (with C.S.Scholten) EWD687.html
687a 194 Termination detection for diffusing computations (with C.S.Scholten) EWD687a.html
688 16 A trifle EWD688.html
689 79 Tripreport E.W.Dijkstra, Valley Forge, 28 Oct. – 2 Nov. 1978 EWD689.html
690 127 The pragmatic engineer versus the scientific designer EWD690.html
691 224 On improving the state of the art (A somewhat open letter to dr. Martin Rem) EWD691.html
692 143 A review of the 1977 Turing Award Lecture by John Backus EWD692.html
693 36 About polygons in Detroit
694 174 Tripreport E.W.Dijkstra, Detroit, Austin, Philadelphia, 25 Nov. – 9 Dec. 1978 EWD694.html
695 44 Mathematics in an easy chair EWD695.html
696 55 Written in anger EWD696.html
697 224 Some beautiful arguments using mathematical induction EWD697.html
698 72 Trip report E.W.Dijkstra, Oxford University, 10–15 Jan. 1979 EWD698.html
699 92 Een reactie EWD699.html

Revised 16-Sep-2012