previous home next EWD Manuscripts 200-299 EWD number Size (KB) Title 200 90 The variable size machine 201 96 A sequel to EWD200 206 86 A sequel to EWD201 209 305 A constructive approach to the problem of program correctness 209A 373 A constructive approach to the problem of program correctness 214 48 ACM Symposium in Gatlinburg ``Operating System Principles'' 215 122 A case against the GO TO statement 221 10 [Raw code for computing De Bruijn-sequences] 222 132 Verslag van het bezoek aan Grenoble en Parijs (6-11 december 1967) 224 93 HEEL VERTROUWELIJK 227 417 Stepwise program construction 229 47 Aan de leden van de Commissie Wetenschapsbeleid 230 47 To the EDITOR ALGOL 68 231 399 De Rekenautomaat als Gebruiksvoorwerp 232 275 Pretentie en doelstelling van het THE multiprogrammeringsproject 235 165 Contractie en expansie 236 124 Complexity controlled by hierarchical ordering of function and variability 237 214 A preliminary investigation into Computer Assisted Programming 238 123 Computation versus program 239 306 On trading storage against computation time 240 29 The moral of EWD237 - EWD239 241 199 Towards correct programs 243 131 Bijdrage voor de subcommissie Aanschaffingsbeleid Rekenautomaten 244 65 Een educatief dilemma 245 98 On useful structuring 246 96 Verslag van het bezoek aan de NATO Conference on Software Engineering 247 64 [``Journal for half-baked Ideas''] 247a 92 [Beantwoording ener enquete] 249 2054 Notes on Structured Programming 251 26 Requirements of programming tools 252 83 Mijn laatste verslag van een bijeenkomst van W.G.2.1. 252a 130 Ontwerp voorwoord [afstudeerrichting Fundamentele Programmering] 253 17 Tentamen Co-operating Sequential Processes (jan. 1969) 253a 31 Ontwerp Collegebeschrijving ``Inleiding tot de kunst van het programmeren'' 254 72 Computer Science of enkel Software Engineering? 254a 193 Hoger orde adressering 255 90 Over de IBM360 257 69 Verslag bezoek aan MIT 259 85 Toekomstverwachting Fundamentele Programmering 260 30 Plotting a curve with a printer 261 20 Hoe wiskundig programmeren is 264 112 On understanding programs 267 91 Over de toekomst van Computer Science 268 173 Structured programming 270 80 Aan de keuzecommissie rekenmachine 272 43 Verslag van de tweede ``Conference on Software Engineering'', georganiseerd door de NATO Science Committee te Rome, 27 - 31 oktober 1969 273 504 The programming task considered as an intellectual challenge 275 134 Structure of an extendable operating system 278 75 Organisatie van onderzoek en onderwijs van Fundamentele Programmering 279 203 The programming laboratory project 281 132 Aan de Commissie Wetenschapsbeleid 282 242 A tree-structured system 286 103 Verslag van mijn reis naar California 287 2372 Sans titre (but most definitely a predecessor to EWD316, ``A short introduction into the art of programming'') 288 279 Concern for correctness as a guiding principle for program construction 288a 69 Recensie voor het tijdschrift ``Informatie'' 292 123 Letter to professor C.A.R. Hoare (31 August 1970) 295 82 Reisverslag van bezoek aan het Seminar on the Teaching of Programming at University Level 298 58 Informatica als wiskundige discipline previous home next Revised Thu, 19 Jun 2003