Advertisement

Beauty Is Our Business

A Birthday Salute to Edsger W. Dijkstra

  • W. H. J. Feijen
  • A. J. M. van Gasteren
  • D. Gries
  • J. Misra

Part of the Texts and Monographs in Computer Science book series (MCS)

Table of contents

  1. Front Matter
    Pages i-xix
  2. Krzysztof R. Apt, Frank S. de Boer, Ernst-Rüdiger Olderog
    Pages 1-6
  3. Roland C. Backhouse
    Pages 7-18
  4. Richard S. Bird
    Pages 36-43
  5. Maarten Boasson
    Pages 44-53
  6. Robert S. Boyer, Milton W. Green, J Strother Moore
    Pages 54-66
  7. K. Mani Chandy, Stephen Taylor
    Pages 94-101
  8. Albert J. Dijkstra
    Pages 102-111
  9. W. H. J. Feijen, A. J. M. van Gasteren, D. Gries, J. Misra
    Pages 112-118
  10. W. H. J. Feijen
    Pages 119-126
  11. A. J. M. van Gasteren
    Pages 127-134
  12. David Gries
    Pages 141-148
  13. A. N. Habermann
    Pages 149-162
  14. Eric C. R. Hehner
    Pages 163-172
  15. G. Helmberg
    Pages 173-175
  16. Ted Herman
    Pages 176-181
  17. Wim H. Hesselink
    Pages 182-192
  18. Cliff B. Jones
    Pages 220-225
  19. Anne Kaldewaij
    Pages 226-232
  20. Donald E. Knuth
    Pages 233-242
  21. Christian Lengauer, Duncan G. Hudson
    Pages 262-273
  22. J. H. van Lint
    Pages 274-279
  23. Johan J. Lukkien, Jan L. A. van de Snepscheut
    Pages 280-288
  24. Zohar Manna, Amir Pnueli
    Pages 289-301
  25. Carroll Morgan
    Pages 319-326
  26. Greg Nelson
    Pages 339-345
  27. W. Peremans
    Pages 352-355
  28. Paul Pritchard
    Pages 358-364
  29. Fred B. Schneider
    Pages 373-379
  30. Carel S. Scholten
    Pages 380-385
  31. Henk C. A. van Tilborg
    Pages 386-389
  32. D. A. Turner
    Pages 390-398

About this book

Introduction

More than anything else, this book is a tribute to Edsger W. Dijkstra, on the occasion of his sixtieth birthday, by just a few of those fortunate enough to be influenced by him and his work and to be called his friend or relation, his master, colleague, or pupil. This book contains fifty-four technical contributions in different areas of endeavor, although many of them deal with an area of particular concern to Dijkstra: programming. Each contribution is relatively short and could be digested in one sitting. Together, they form a nice cross section of the discipline of programming at the beginning of the nineties. While many know of Dijkstra's technical contributions, they may not be aware of his ultimate goal, the mastery of complexity in mathematics and computing science. He has forcefully argued that beauty and elegance are essential to this mastery. The title of this book, chosen to reflect his ultimate goal, comes from a sentence in an article of his on some beautiful arguments using mathematical induction: "... when we recognize the battle against chaos, mess, and unmastered complexity as one of computing sci- ence's major callings, we must admit that 'Beauty Is Our Business'."

Keywords

algorithm algorithms automata complexity palindrome programming real-time semantics verification

Editors and affiliations

  • W. H. J. Feijen
    • 1
  • A. J. M. van Gasteren
    • 2
  • D. Gries
    • 3
  • J. Misra
    • 4
  1. 1.Mathematics and Computer Science DepartmentEindhoven University of TechnologyEindhovenThe Netherlands
  2. 2.Department of Computer ScienceUniversity of UtrechtUtrechtThe Netherlands
  3. 3.Department of Computer ScienceCornell UniversityIthacaUSA
  4. 4.Department of Computer ScienceThe University of TexasAustinUSA

Bibliographic information

  • DOI https://doi.org/10.1007/978-1-4612-4476-9
  • Copyright Information Springer-Verlag New York 1990
  • Publisher Name Springer, New York, NY
  • eBook Packages Springer Book Archive
  • Print ISBN 978-1-4612-8792-6
  • Online ISBN 978-1-4612-4476-9
  • Series Print ISSN 0172-603X
  • Buy this book on publisher's site