Beauty is our business: a birthday salute to Edsger W. Dijkstra
Book information
Description
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'."
Similar books
The Design of Well-Structured and Correct Programs
1978 · PDF
Drawing Programs: The Theory and Practice of Schematic Functional Programming
2010 · PDF
Constructive Methods in Computing Science: International Summer School directed by F.L. Bauer, M. Broy, E.W. Dijkstra, C.A.R. Hoare
1989 · DJVU
Drawing Programs: The Theory and Practice of Schematic Functional Programming
2010 · PDF
Abstraction, Refinement and Proof for Probabilistic Systems
2005 · PDF
Funtional Programming Languages in Education: First International Symposium, FPLE '95 Nijmegen, The Netherlands, December 4–6, 1995 Proceedings
1995 · PDF
Logic Program Synthesis and Transformation: Proceedings of LOPSTR 93, International Workshop on Logic Program Synthesis and Transformation, Louvain-la-Neuve, Belgium, 7–9 July 1993
1994 · PDF
Static Analysis: Third International Workshop, WSA '93 Padova, Italy, September 22–24, 1993 Proceedings
1993 · PDF