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

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
  • About this book