Dijkstra, Edsger W.
Overview
Works:  140 works in 408 publications in 8 languages and 4,958 library holdings 

Genres:  Conference papers and proceedings History 
Roles:  Author, Honoree, Editor, Author of introduction 
Publication Timeline
.
Most widely held works about
Edsger W Dijkstra
 Beauty is our business : a birthday salute to Edsger W. Dijkstra by W. H. J Feijen( Book )
 The dawn of software engineering : from Turing to Dijkstra by Edgar G Daylight( Book )
 A generalization of Dijkstra's calculus by Greg Nelson( Book )
 People behind informatics : in memory of OleJohan Dahl, Edsger W. Dijkstra, Kristen Nygaard by László Böszörményi( Book )
 Oral history interview with Edsger W. Dijkstra by Edsger W Dijkstra( )
 Computer Science at Stanford; the impact of the first ten years : by Stanford University( )
 Dijkstra, Edsger W. papers by Edsger W Dijkstra( )
 Burroughs Corporation records. Edsger W. Dijkstra papers by Edsger W Dijkstra( )
 [Papers] by Edsger W Dijkstra( Book )
 In honor of Edsger W. Dijkstra( Book )
more
fewer
Most widely held works by
Edsger W Dijkstra
A discipline of programming by
Edsger W Dijkstra(
Book
)
29 editions published between 1976 and 2013 in 7 languages and held by 991 WorldCat member libraries worldwide
Executional abstraction; The role of programming languages; States and their characterization; The characterization of semantics; The semantic characterization of a programming language; Two theorems; On the design of properly terminating; Euclid's algorithm revisited; The formal treatment of some small examples; The linear search theorem; The problem of the next permutation
29 editions published between 1976 and 2013 in 7 languages and held by 991 WorldCat member libraries worldwide
Executional abstraction; The role of programming languages; States and their characterization; The characterization of semantics; The semantic characterization of a programming language; Two theorems; On the design of properly terminating; Euclid's algorithm revisited; The formal treatment of some small examples; The linear search theorem; The problem of the next permutation
Structured programming by
OleJohan Dahl(
Book
)
38 editions published between 1972 and 1990 in English and Undetermined and held by 743 WorldCat member libraries worldwide
38 editions published between 1972 and 1990 in English and Undetermined and held by 743 WorldCat member libraries worldwide
Selected writings on computing : a personal perspective by
Edsger W Dijkstra(
Book
)
14 editions published between 1982 and 2011 in English and Undetermined and held by 598 WorldCat member libraries worldwide
Stepwise program construction. Parallelism in multirecord transactions. Finding the maximum strong components in a directed granph. trip reporte E.W.Dijkstra, summer school munich. The solution to a cyclic relaxation problem. Trip reporte IBM seminar "communication and computers". Selfstabilization in spite of distributed control. Acceptance speech for the AFIPS harry goode memorial award 1974. Speech at the occasion of an anniversary. Inside "mathematics inc". A multidisciplinary approach to mathematics. Ond the role of scientific thought. A timewise hierarchy imposed upon the use of a twolevel store. A new elephant built from mosquitoes humming in harmony. Monotonic replacement algorithms and their implementation. Trip report E.W.Dijkstra. Trip report visit ETH Zurich. A letter to my old friend Jonathan. "Craftsman or scientist?". Exercises in making programs robust. Trip report E.W.Dijkstra. how do we tell truths that might hurt?. Variation on a theme: an open letter to C.A.R hoare. A postscriptum to EWD501. Erratum and embellishmething . A synthesis merging?. Commets at a symposium. Trip report E.W.Dijkstra. On a warning from E.A.Hauch. More on auck's warning. A collection of beautiful proofs. Mathematics inc., a private letter from its chairman. A personal summary of the griesowicki theory. A "non Trip report". Formal techniques and sizearble programs. An exercises for Dr.R.M.Burstall. A great improvement. To H.D.Mills, chairman software methodology panel. On subgoal induction. Trip report E.W.Dijkstra. More about the function. A proof of a theorem communicated to us. Trip report E.W.Dijkstra. A parable. Trip report E.W.Dijkstra. A correctness proof for communicating processes: a small exercise. An elephant inspered by the dutch national flag. On the fact the atlantic ocean has two sides. Trip report E.W.Dijkstra. A somewhat open letter to EAA. On webster, users, bugs, and aristotle, On making solution more and more finegrained. The mathematics behind the banker's algorithm. On two beautiful solutions designed by martin rem. Trip report E.W.Dijkstra. why naive program transformation systems are unlikely to word. The three golden rules for successful scientific research. The introduction of MAES. A class of simple communication patterns. "Why is software so expensive?" an explanation to the hardware designer. A theorem about odd powes of odd integers. Porgram inversion. On weak and strong termination. The equivalence of bounded nondeterminacy and continuity. A story that starts with a very good computer
14 editions published between 1982 and 2011 in English and Undetermined and held by 598 WorldCat member libraries worldwide
Stepwise program construction. Parallelism in multirecord transactions. Finding the maximum strong components in a directed granph. trip reporte E.W.Dijkstra, summer school munich. The solution to a cyclic relaxation problem. Trip reporte IBM seminar "communication and computers". Selfstabilization in spite of distributed control. Acceptance speech for the AFIPS harry goode memorial award 1974. Speech at the occasion of an anniversary. Inside "mathematics inc". A multidisciplinary approach to mathematics. Ond the role of scientific thought. A timewise hierarchy imposed upon the use of a twolevel store. A new elephant built from mosquitoes humming in harmony. Monotonic replacement algorithms and their implementation. Trip report E.W.Dijkstra. Trip report visit ETH Zurich. A letter to my old friend Jonathan. "Craftsman or scientist?". Exercises in making programs robust. Trip report E.W.Dijkstra. how do we tell truths that might hurt?. Variation on a theme: an open letter to C.A.R hoare. A postscriptum to EWD501. Erratum and embellishmething . A synthesis merging?. Commets at a symposium. Trip report E.W.Dijkstra. On a warning from E.A.Hauch. More on auck's warning. A collection of beautiful proofs. Mathematics inc., a private letter from its chairman. A personal summary of the griesowicki theory. A "non Trip report". Formal techniques and sizearble programs. An exercises for Dr.R.M.Burstall. A great improvement. To H.D.Mills, chairman software methodology panel. On subgoal induction. Trip report E.W.Dijkstra. More about the function. A proof of a theorem communicated to us. Trip report E.W.Dijkstra. A parable. Trip report E.W.Dijkstra. A correctness proof for communicating processes: a small exercise. An elephant inspered by the dutch national flag. On the fact the atlantic ocean has two sides. Trip report E.W.Dijkstra. A somewhat open letter to EAA. On webster, users, bugs, and aristotle, On making solution more and more finegrained. The mathematics behind the banker's algorithm. On two beautiful solutions designed by martin rem. Trip report E.W.Dijkstra. why naive program transformation systems are unlikely to word. The three golden rules for successful scientific research. The introduction of MAES. A class of simple communication patterns. "Why is software so expensive?" an explanation to the hardware designer. A theorem about odd powes of odd integers. Porgram inversion. On weak and strong termination. The equivalence of bounded nondeterminacy and continuity. A story that starts with a very good computer
Predicate calculus and program semantics by
Edsger W Dijkstra(
Book
)
19 editions published between 1989 and 2012 in English and held by 520 WorldCat member libraries worldwide
This booklet presents a reasonably selfcontained theory of predicate trans former semantics. Predicate transformers were introduced by one of us (EWD) as a means for defining programming language semantics in a way that would directly support the systematic development of programs from their formal specifications. They met their original goal, but as time went on and program derivation became a more and more formal activity, their informal introduction and the fact that many of their properties had never been proved became more and more unsatisfactory. And so did the original exclusion of unbounded nondeterminacy. In 1982 we started to remedy these shortcomings. This little monograph is a result of that work. A possible and even likely criticism is that anyone sufficiently versed in lattice theory can easily derive all of our results himself. That criticism would be correct but somewhat beside the point. The first remark is that the average book on lattice theory is several times fatter (and probably less self contained) than this booklet. The second remark is that the predicate transformer semantics provided only one of the reasons for going through the pains of publication
19 editions published between 1989 and 2012 in English and held by 520 WorldCat member libraries worldwide
This booklet presents a reasonably selfcontained theory of predicate trans former semantics. Predicate transformers were introduced by one of us (EWD) as a means for defining programming language semantics in a way that would directly support the systematic development of programs from their formal specifications. They met their original goal, but as time went on and program derivation became a more and more formal activity, their informal introduction and the fact that many of their properties had never been proved became more and more unsatisfactory. And so did the original exclusion of unbounded nondeterminacy. In 1982 we started to remedy these shortcomings. This little monograph is a result of that work. A possible and even likely criticism is that anyone sufficiently versed in lattice theory can easily derive all of our results himself. That criticism would be correct but somewhat beside the point. The first remark is that the average book on lattice theory is several times fatter (and probably less self contained) than this booklet. The second remark is that the predicate transformer semantics provided only one of the reasons for going through the pains of publication
Formal development of programs and proofs(
Book
)
10 editions published between 1989 and 1990 in English and held by 391 WorldCat member libraries worldwide
10 editions published between 1989 and 1990 in English and held by 391 WorldCat member libraries worldwide
A primer of ALGOL 60 programming, together with Report on the algorithmic language ALGOL 60 by
Edsger W Dijkstra(
Book
)
21 editions published between 1962 and 1973 in English and held by 321 WorldCat member libraries worldwide
Report on the algorithmic language Algol 60 is reproduces as an appendix
21 editions published between 1962 and 1973 in English and held by 321 WorldCat member libraries worldwide
Report on the algorithmic language Algol 60 is reproduces as an appendix
A method of programming by
Edsger W Dijkstra(
Book
)
17 editions published between 1988 and 1994 in English and Italian and held by 311 WorldCat member libraries worldwide
17 editions published between 1988 and 1994 in English and Italian and held by 311 WorldCat member libraries worldwide
Reasoning about programs by
Edsger W Dijkstra(
Visual
)
9 editions published between 1990 and 2009 in English and held by 78 WorldCat member libraries worldwide
Lecture illustrating two critical problems in program correctness proof: invariance and termination
9 editions published between 1990 and 2009 in English and held by 78 WorldCat member libraries worldwide
Lecture illustrating two critical problems in program correctness proof: invariance and termination
Methodik des Programmierens by
Edsger W Dijkstra(
Book
)
3 editions published in 1985 in German and Undetermined and held by 66 WorldCat member libraries worldwide
Software  Programming Techniques
3 editions published in 1985 in German and Undetermined and held by 66 WorldCat member libraries worldwide
Software  Programming Techniques
Program construction : international summer school by
Friedrich Ludwig Bauer(
)
2 editions published in 1979 in English and held by 51 WorldCat member libraries worldwide
2 editions published in 1979 in English and held by 51 WorldCat member libraries worldwide
Beauty is our business : a birthday salute to Edsger W. Dijkstra by
W. H. J Feijen(
Book
)
7 editions published between 1900 and 1990 in 3 languages and held by 37 WorldCat member libraries worldwide
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 fiftyfour 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'."
7 editions published between 1900 and 1990 in 3 languages and held by 37 WorldCat member libraries worldwide
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 fiftyfour 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'."
A primer of ALGOL 60 programming : together with Report on the algorithmic language ALGOL 60 by
Edsger W Dijkstra(
Book
)
11 editions published between 1962 and 1978 in English and held by 34 WorldCat member libraries worldwide
11 editions published between 1962 and 1978 in English and held by 34 WorldCat member libraries worldwide
Table of Everett's interpolation coefficients by
Edsger W Dijkstra(
Book
)
7 editions published in 1955 in English and held by 32 WorldCat member libraries worldwide
7 editions published in 1955 in English and held by 32 WorldCat member libraries worldwide
Program Construction International Summer School by
Friedrich Ludwig Bauer(
)
1 edition published in 1979 in English and held by 31 WorldCat member libraries worldwide
1 edition published in 1979 in English and held by 31 WorldCat member libraries worldwide
Language Hierarchies and Interfaces International Summer School by
Friedrich Ludwig Bauer(
)
1 edition published in 1976 in English and held by 31 WorldCat member libraries worldwide
1 edition published in 1976 in English and held by 31 WorldCat member libraries worldwide
Communication with an automatic computer by
Edsger W Dijkstra(
Book
)
9 editions published in 1959 in 3 languages and held by 29 WorldCat member libraries worldwide
9 editions published in 1959 in 3 languages and held by 29 WorldCat member libraries worldwide
Objectoriented realtime dependable systems : proceedings : Ninth IEEE International Workshop on ObjectOriented RealTime
Dependable Systems : Anacapri (Capri Island), Italy, 13 October, 2003 by IEEE International Workshop on ObjectOriented RealTime Dependable Systems(
)
1 edition published in 2004 in English and held by 29 WorldCat member libraries worldwide
1 edition published in 2004 in English and held by 29 WorldCat member libraries worldwide
Notes on structured programming by
Edsger W Dijkstra(
Book
)
10 editions published between 1969 and 1971 in English and Undetermined and held by 20 WorldCat member libraries worldwide
10 editions published between 1969 and 1971 in English and Undetermined and held by 20 WorldCat member libraries worldwide
A short introduction to the art of programming by
Edsger W Dijkstra(
Book
)
6 editions published between 1971 and 1973 in English and held by 18 WorldCat member libraries worldwide
6 editions published between 1971 and 1973 in English and held by 18 WorldCat member libraries worldwide
Cursus programmeren in Algol 60 by
Edsger W Dijkstra(
Book
)
9 editions published between 1960 and 1967 in Dutch and held by 14 WorldCat member libraries worldwide
9 editions published between 1960 and 1967 in Dutch and held by 14 WorldCat member libraries worldwide
more
fewer
Audience Level
0 

1  
Kids  General  Special 
Related Identities
 Hoare, C. A. R. (Charles Antony Richard) 1934 Editor
 Dahl, OleJohan 1931 Honoree Author
 Feijen, W. H. J. Editor
 Scholten, Carel S.
 Bauer, Friedrich Ludwig (1924 ...). Author Editor
 Griffiths, M. Editor
 Gerhart, S. L.
 Pepper, P.
 Wirsing, M.
 Owicki, S. S.
Useful Links
Associated Subjects
ALGOL (Computer program language) Algorithms American Federation of Information Processing Societies Artificial intelligence Baskett, Forest Burroughs Corporation Calculus Computer algorithms Computer industry Computer networks Computer programming Computer programs Computers Computer science Computer software Computer systemsReliability Dijkstra, Edsger W Electronic data processing Electronic data processingDistributed processing Europe Faulttolerant computing Feigenbaum, Edward A Functional analysis Gibbons, James F Golub, Gene H.(Gene Howard), Hoare, C. A. R.(Charles Antony Richard), Interpolation Knuth, Donald Ervin, Logic design Mathematics Mathematisch Centrum (Amsterdam, Netherlands) Miller, William F Nilsson, Nils J., Objectoriented databases Objectoriented methods (Computer science) Predicate calculus Programming languages (Electronic computers)Semantics Punched card systems Realtime data processing Recursion theory Science Semantics Software engineering Structured programming Theoretical physics Turing, Alan, United States University of Texas at Austin.Department of Computer Sciences Wirth, Niklaus
Covers
Alternative Names
Dejkstra, È.
Dijkstra E.W.
Dijkstra, E.W. 19302002
Dijkstra, E. W. (Edsger Wybe)
Dijkstra, Edsger W.
Dijkstra, Edsger W. (19302002)
Dijkstra, Edsger W. (Edsger Wybe)
Dijkstra, Edsger Wybe
Dijkstra, Edsger Wybe 19302002
Dijkstra, Edzger W. 19302002
Edsger Dijkstra holenderski informatyk
Edsger Dijkstra informático neerlandés
Edsger Dijkstra informatico olandese
Edsger Dijkstra mathématicien et informaticien néerlandais
Edsger Dijkstra nederlanda komputosciencisto
Edsger Dijkstra Nederlands wiskundige en informaticus met name gestructureerd programmeren
Edsger Dijkstra nederlandsk matematikar, fysikar, informatikar og ingeniør
Edsger Dijkstra nederländsk matematiker, fysiker, datavetare och ingenjör
Edsger Dijkstra nederlandsk matematiker, fysiker, informatiker og ingeniør
Edsger W. Deykstra
Edsger W. Dijkstra Dutch computer scientist
Edsger W. Dijkstra niederländischer Informatiker
Edsger Wybe Dijkstra
Edsger Wybe Dijkstra holland matematikus, fizikus, informatikus
Edsgers Deikstra
Wybe Dijkstra, Edsger 19302002
Έντσγκερ Ντάικστρα
Дейкстра, Э.
Дейкстра, Эдсгер Вибе нидерландский учёный
Дийкстра, Э.
Едсгер Дейкстра
Едсгер Дејкстра холандски информатичар
Едсхер Дајкстра
Едсхер Дейкстра
Эдсгер Вибе Дейкстра нидерландский учёный в области информатики и программирования
Эдсгер Дейкстра
אדסחר דייקסטרה
אדסחר דייקסטרה מדען מחשב הולנדי
إدسخر ديكسترا
ادسخر دیسترا ریاضیدان، فیزیکدان، دانشمند علوم کامپیوتر، و مهندس هلندی
ادسخر دیكسترا
ادسخر دیکسترا
एड्सगर डिक्स्ट्रा
এট্সখার ডেইক্স্ট্রা
എഡ്ഗർ ഡൈക്സ്ട്രാ
에츠허르 데이크스트라
エドガー・ダイクストラ
ダイクストラ, E. W.
艾兹赫尔·戴克斯特拉
Languages