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 700-799

summaries
EWD number Size (KB) Title transcriptions
700 60 An examination exercise, designed by W.H.J.Feijen
701 47 Two theorems on (what I have called) continuously mixed sequences EWD701.html
702 277 In reaction to Ernest Chang's ``Deadlock Detection''
703 189 A tutorial on the split binary semaphore
704 51 A machine for image construction in tomography
705 92 Verkavelde berekeningen, hun mogelijkheden en moeilijkheden EWD705.html
706 244 Image reconstruction in two-dimensional tomography
707 37 Dear Mr.X of Company Y EWD707.html
708 76 When messages may crawl EWD708.html
709 344 My hopes of computing science EWD709.html
710 64 When messages may crawl, II (A sequel to EWD708)
711 151 Trip report E.W.Dijkstra, Ithaca, Albany, Austin (Texas), 26/5 - 10/6 1979 EWD711.html
712 58 Trip report E.W.Dijkstra, Antwerp, 24–29 June 1979 EWD712.html
713 41 On a problem posed by W.H.J.Feijen
714 268 Trip report E.W.Dijkstra, Mission Viejo, Santa Cruz, Austin, 29 July – 8 September 1979 EWD714.html
715 109 Trip report E.W.Dijkstra, Munich - London, 16–29 September 1979 EWD715.html
716 118 A short talk to my students about money EWD716.html
717 75 An exercise in exposition EWD717.html
718 272 Assembly conventions for the EDSAC
719 267 On not duplicating volatile information
720 258 Why correctness must be a mathematical concern EWD720.html
721 199 The design of a state space with a useful structure (I)
722 74 A book review for the IBM Systems Journal EWD722.html
723 98 On W.H.J.Feijen's solution for the lexicographic minimum of a circular list
724 62 Een gotspe EWD724.html
724E 78 A chutspa EWD724E.html
725 108 Trip report E.W.Dijkstra, Liege, Nov.–Dec.1979 EWD725.html
726 57 How Dutch Informatics fell between two chairs EWD726.html
727 192 Trip report E.W.Dijkstra, U.S.A. 12 Jan. – 2 Feb. 1980 EWD727.html
728 24 A problem solved by Netty van Gasteren and me EWD728.html
729 143 On well-shaped mathematical arguments EWD729.html
730 63 On two types of infinite sets of infinite sequences (by the Tuesday Afternoon Club)
731 103 An experiment in mathematical exposition EWD731.html
732 247 The teachability of mathematical thinking (Draft contribution to ``Mathematics Tomorrow'') EWD732.html
733 96 Naar aanleiding van ``Experimentele post-propadeuse opleiding voor informatica-ingenieur aan de THE'' (Eindhoven februari 1980 SOO/jc/sdb)
734 104 The superfluity of the general semaphore
735 207 A mild variant of Combinatory Logic
736 92 Recording the structure of trees in their leaves
737 93 A notational alternative for quantification
738 67 More mathematical folklore
739 39 A somewhat open letter to the Editor-in-Chief of Acta Informatica EWD739.html
740 22 A short proof of one of Fermat's theorems EWD740.html
741 20 Partitioning the edges of the complete graphs into trees or cycles (by the Tuesday Afternoon Club) EWD741.html
742 24 A sequel to EWD740 EWD742.html
743 109 A new policy for Mathematics Inc.? EWD743.html
744 207 A short note on symmetric distributed arbitration
745 353 Trip report E.W.Dijkstra, Los Angeles, Austin (Texas), and Portland, 6–28 August 1980 EWD745.html
746 171 Trip report E.W.Dijkstra, Newcastle-upon-Tyne, 1–5 Sep. 1980 EWD746.html
747 237 Comments on MIL-STD-1862, 28 May 1980
748 134 A somewhat open letter to Wladislaw M.Turski
749 175 On the productivity of recursive definitions
750 97 American programming's plight EWD750.html
751 77 Mainly on the omission of parentheses EWD751.html
752 539 Distributed Arbitration (DRAFT, with C.S.Scholten)
753 56 On a theorem by Lambek and Moser
754 24 An error in EWD744 EWD754.html
755 137 Very elementary number theory redone
756 39 A postscript to EWD755
757 173 A misguided educational effort
758 58 An intriguing example
759 40 A somewhat open letter to D.A.Turner EWD759.html
760 91 A somewhat open letter to F.Kroeger
761 81 Een kanttekening EWD761.html
762 85 We mathematicians are losing the race EWD762.html
763 29 A proof by Rutger M.Dijkstra and me EWD763.html
764 303 Repaying our debts EWD764.html
765 95 A Hungarian problem
766 41 An educational stupidity EWD766.html
767 27 A.J.Martin's solution of the Hungarian problem EWD767.html
768 132 Largely on nomenclature
770 104 D.A.Turner's reply
771 26 About 2-coloured 6-graphs EWD771.html
772 75 A methodological sequel to EWD771 EWD772.html
773 90 Trip report E.W.Dijkstra, Han-sur-Lesse, 7–12 Jan. 1981 EWD773.html
774 152 Trip report E.W.Dijkstra, California, 17–31 January 1981 EWD774.html
775 65 On Kleinrock's Theorem
776 99 Lambek and Moser revisited EWD776.html
777 71 A word of welcome (Draft) EWD777.html
778 45 A somewhat open letter to Nils J.Nilsson EWD778.html
779 109 An assertional proof of a program by G.L.Peterson
780 73 Proving the existence of the Euler line (with A.J.M. van Gasteren)
781 371 About the presentation of programs (with A.J.M. van Gasteren)
782 89 A stupid notation EWD782.html
783 114 The administration as social disease EWD783.html
784 44 My mother's contribution to Honsberger's collection
785 92 Our presentation of K.A.Post's proof of R.Stanley's theorem (with A.J.M. van Gasteren)
786 93 Trip report E.W.Dijkstra, England, 23 April 1981 EWD786.html
786a 54 Sets are Unibags EWD786a.html
787 45 A (new?) proof of a theorem of Euler's on partitions EWD787.html
788 242 What we seem to have learned (with A.J.M. van Gasteren)
789 71 A minor improvement of Heapsort
789a 122 A minor improvement of Heapsort
789b 140 A minor improvement of Heapsort
790 58 Trip report E.W.Dijkstra, München, 19 May 1981 EWD790.html
791 157 The psychology of the user EWD791.html
792 95 Hamming's exercise in SASL
793 51 The analysis of a two-person game EWD793.html
794 153 Heapsort (with A.J.M. van Gasteren and W.H.J.Feijen)
795 96 An alternative to heapsort for sorting in situ
796 323 Smoothsort, an alternative for sorting in situ
796a 330 Smoothsort, an alternative for sorting in situ EWD796a.html
797 159 Fibonacci numbers and Leonardo numbers EWD797.html
798 138 Trip report E.W.Dijkstra, Newcastle, 19-25 July 1981 EWD798.html
799 188 Trip report E.W.Dijkstra, Marktoberdorf, 26/7-10/8/81 EWD799.html

Revised 15-Mar-2012