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

(1976–79)

EWD number Size (KB) Title
600 82 A sequel to EWD592
601 86 Tripreport E.W.Dijkstra, Munich 24–26 November 1976
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
604 75 Paying logical conscience-money to the fair demon
605 148 Tripreport E.W.Dijkstra, Columbus - Pittsburgh - Paoli, 12–22 January 1977
606 51 Eerste toespraak tot mijn studenten, voorjaar 1977
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
611 325 On the fact that the Atlantic Ocean has two sides
612 52 Derde toespraak tot mijn studenten, voorjaar 1977
613 261 Tripreport E.W.Dijkstra, Australia, 16 February 1977 – 21 March 1977
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
616 52 Vijfde toespraak tot mijn studenten, voorjaar 1977
617 55 Zesde toespraak tot mijn studenten, voorjaar 1977
618 128 On Webster, users, bugs and Aristotle
619 352 Essays on the nature and role of mathematical elegance
620 45 Zevende toespraak tot mijn studenten, voorjaar 1977
621 48 Achtste toespraak tot mijn studenten, voorjaar 1977
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
625 99 Two starvation-free solutions of a general exclusion problem
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.
627 125 A position paper on Software Reliability
628 32 Naar aanleiding van een eigenlijk wat beledigend stukje
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
633 211 Tripreport E.W.Dijkstra, 29 July – 21 August 1977
634 112 Position paper on the impact of microprocessors (IFIP77)
635 202 Tripreport E.W.Dijkstra, Newcastle-upon-Tyne, 5–10 Sept. 1977
636 203 Why naive program transformation systems are unlikely to work
637 77 The Three Golden Rules for Successful Scientific Research
638 115 A political pamphlet from the Middle Ages
639 138 The introduction of MAES®
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
642 248 A special sorting elephant
643 124 A class of simple communication patterns (with C.S.Scholten)
644 205 Letter to J. Arsac
645 186 Tripreport E.W.Dijkstra, USA 19–30 October 1977
646 79 A not so simple theorem about undirected graphs
647 138 Commentaar op een ontwikkeling binnen de TH's
648 448 “Why is software so expensive?” An explanation to the hardware designer
649 30 A supplement to EWD591 “The problem of the maximum length of an ascending subsequence”
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)
656 312 An introduction to implementation issues
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)
659 221 On the BLUE Language submitted to DoD
660 200 On the GREEN Language submitted to the DoD
661 183 On the RED Language submitted to the DoD
662 160 On the YELLOW Language submitted to the DoD
663 176 The summing-up
665 268 Trip report E.W.Dijkstra, U.K. – Bahamas – U.S.A., 11–30 April 1978
666 93 A problem solved in my head
667 87 On the foolishness of “natural language programming”
668 168 On the correctness of a design by Alain J.Martin
669 78 A book review
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, Zürich, 2–7 July 1978
675 65 The equivalence of bounded nondeterminacy and continuity
676 180 Tripreport E.W.Dijkstra, Marktoberdorf 24 July – 6 August 1978
677 70 On one of Cayley's theorems
678 123 A story that starts with a very good computer
679 243 Tripreport E.W.Dijkstra, Newcastle-London-Lancaster, 4–13 Sep. 1978
680 70 A book review
682 402 The nature of Computer Science (first draft)
683 87 To a new member of The Tuesday Afternoon Club
684 189 Termination detection for diffusing computations (with C.S.Scholten)
685 39 The problem of the Swiss football players
687 157 Termination detection for diffusing computations (with C.S.Scholten)
687a 194 Termination detection for diffusing computations (with C.S.Scholten)
688 16 A trifle
689 79 Tripreport E.W.Dijkstra, Valley Forge, 28 Oct. – 2 Nov. 1978
690 127 The pragmatic engineer versus the scientific designer
691 224 On improving the state of the art (A somewhat open letter to dr. Martin Rem)
692 143 A review of the 1977 Turing Award Lecture by John Backus
693 36 About polygons in Detroit
694 174 Tripreport E.W.Dijkstra, Detroit, Austin, Philadelphia, 25 Nov. – 9 Dec. 1978
695 44 Mathematics in an easy chair
696 55 Written in anger
697 224 Some beautiful arguments using mathematical induction
698 72 Trip report E.W.Dijkstra, Oxford University, 10–15 Jan. 1979
699 92 Een reactie

Revised 11-Nov-2014