Zobrazeno 1 - 10
of 177
pro vyhledávání: '"Edsger W. Dijkstra"'
Autor:
Edsger W. Dijkstra
Publikováno v:
Edsger Wybe Dijkstra ISBN: 9781450397735
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::fee5828b16e27031b8abcc2b8364c94e
https://doi.org/10.1145/3544585.3544606
https://doi.org/10.1145/3544585.3544606
Publikováno v:
Edsger Wybe Dijkstra ISBN: 9781450397735
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::e8902067afdd7a90d0941d9b28398c24
https://doi.org/10.1145/3544585.3544607
https://doi.org/10.1145/3544585.3544607
Autor:
Edsger W. Dijkstra
Publikováno v:
Edsger Wybe Dijkstra ISBN: 9781450397735
Programming Methodology ISBN: 9781461263173
Programming Methodology ISBN: 9781461263173
As a result of a long sequence of coincidences I entered the programming profession officially on the first spring morning of 1952, and as far as I have been able to trace, I was the first Dutchman to do so in my country. In retrospect the most amazi
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::a5a0724d64566671f099c20d29999bd0
https://doi.org/10.1145/3544585.3544588
https://doi.org/10.1145/3544585.3544588
Autor:
Edsger W. Dijkstra
Publikováno v:
Ideas That Created the Future ISBN: 9780262363174
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::1ce67af328533ee5eeb54f4fe1f1037a
https://doi.org/10.7551/mitpress/12274.003.0028
https://doi.org/10.7551/mitpress/12274.003.0028
Autor:
Edsger W. Dijkstra
Publikováno v:
Ideas That Created the Future ISBN: 9780262363174
Ideas That Created the Future
Ideas That Created the Future
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::4704392afe70013c6fe83c87475ecb95
https://doi.org/10.7551/mitpress/12274.003.0030
https://doi.org/10.7551/mitpress/12274.003.0030
Autor:
Edsger W. Dijkstra
Publikováno v:
Formal Aspects of Computing. 14:99-107
At a given moment, the concept of polite mathematics emerged, the underlying idea of which is that, even if you have only 60 readers, it pays to spend an hour if by doing so you can save your average reader a minute. By inventing an idealized ‘aver
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::f933a869823ea9aff34b1884887ccc64
https://doi.org/10.1007/s001650200030
https://doi.org/10.1007/s001650200030
Autor:
Edsger W. Dijkstra, Jayadev Misra
Publikováno v:
The American Mathematical Monthly. 108:440-443
Cantor's Diagonalization The one purpose of this little Note is to show that formal arguments need not be lengthy at all; on the contrary, they are often the most compact rendering of the argument. Its other purpose is to show the strong heuristic gu
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::e34e613406217b4a4cf6275b21b11bd8
https://doi.org/10.1080/00029890.2001.11919771
https://doi.org/10.1080/00029890.2001.11919771
Autor:
Edsger W. Dijkstra
Publikováno v:
Information Processing Letters. 77:53-61
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::5242d4f005279fc56152dc1087caffb9
https://doi.org/10.1016/s0020-0190(00)00204-0
https://doi.org/10.1016/s0020-0190(00)00204-0
Autor:
Edsger W. Dijkstra
Publikováno v:
ACM SIGAPP Applied Computing Review. 7:2-9
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::57d5958d1ae9ce3a862b93db183e465e
https://doi.org/10.1145/335527.335528
https://doi.org/10.1145/335527.335528
Autor:
Edsger W. Dijkstra, Carel S. Scholten
This booklet presents a reasonably self-contained 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