HK
Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Top
New
Best
Ask
Show
Jobs
Request
391.
▲
A Case Against the GO TO Statement (Dijkstra, 1968)
cs.utexas.edu
discuss
12 years ago
JDulin
1 points
392.
▲
A Computational Logic for Applicative Common Lisp
cs.utexas.edu
discuss
12 years ago
luu
1 points
393.
▲
Operational Semantics and Inductive Assertions
cs.utexas.edu
discuss
12 years ago
luu
1 points
394.
▲
The Boyer-Moore Theorem Prover (NQTHM)
cs.utexas.edu
discuss
12 years ago
luu
1 points
395.
▲
Programming methodologies, their objectives and their nature (EWD 469)
cs.utexas.edu
discuss
13 years ago
ColinWright
1 points
396.
▲
The strengths of the academic enterprise
cs.utexas.edu
discuss
13 years ago
ssivark
1 points
397.
▲
Paxos made simple (2001) [pdf]
cs.utexas.edu
discuss
13 years ago
alan
1 points
398.
▲
Djikstra at his finest
cs.utexas.edu
discuss
13 years ago
qzxt
1 points
399.
▲
Experiences of Djikstra when he visited the USA
cs.utexas.edu
discuss
13 years ago
zaph0d
1 points
400.
▲
Anatomy of Programming Languages
cs.utexas.edu
discuss
13 years ago
0x1997
1 points
401.
▲
The cruelty of teaching computing science (EWD 1036)
cs.utexas.edu
discuss
2 months ago
tosh
1 points
402.
▲
The Humble Programmer (EWD 340)
cs.utexas.edu
discuss
17 years ago
revorad
1 points
403.
▲
Edsger W. Dijkstra on IPW's
cs.utexas.edu
discuss
a year ago
atakan_gurkan
1 points
404.
▲
Why Numbering Should Start at Zero (1982) [pdf]
cs.utexas.edu
discuss
a year ago
krykp
1 points
405.
▲
Smoothing a Program Soundly and Robustly? [pdf]
cs.utexas.edu
discuss
a year ago
nill0
1 points
406.
▲
On a Methodology of Design
cs.utexas.edu
discuss
14 years ago
baxrob
1 points
407.
▲
A Biological Perspective on Evolutionary Computation [pdf]
nn.cs.utexas.edu
discuss
2 years ago
nickpsecurity
1 points
408.
▲
The Fruits of Misunderstanding
cs.utexas.edu
discuss
2 years ago
bindidwodtj
1 points
409.
▲
Understanding data abstraction, revisited [pdf]
cs.utexas.edu
discuss
2 years ago
fanf2
1 points
410.
▲
The end of Computing Science? (2000) [pdf]
cs.utexas.edu
discuss
2 years ago
hggh
1 points
411.
▲
Dijkstra on Correctness as a Guiding Principle for Program Composition
cs.utexas.edu
discuss
14 years ago
_pius
1 points
412.
▲
On a somewhat disappointing correspondence (EWD1009)
cs.utexas.edu
discuss
2 years ago
okl
1 points
413.
▲
The strengths of the academic enterprise (1994)
cs.utexas.edu
discuss
2 years ago
Jtsummers
1 points
414.
▲
The Humble Programmer
cs.utexas.edu
discuss
3 years ago
alexzeitler
1 points
415.
▲
On Understanding Data Abstraction, Revisited (2009)
cs.utexas.edu
discuss
14 years ago
sinusoidal
1 points
416.
▲
Dijkstra: On the cruelty of teaching computer science (1988) [pdf]
cs.utexas.edu
discuss
3 years ago
pxeger1
1 points
417.
▲
Dynamic Branch Prediction with Perceptrons (2000) [pdf]
cs.utexas.edu
discuss
3 years ago
khanguy
1 points
418.
▲
On the foolishness of “natural language programming”
cs.utexas.edu
discuss
4 years ago
qsort
1 points
419.
▲
Notes On Structured Programming
cs.utexas.edu
discuss
15 years ago
llambda
1 points
420.
▲
Where is Russell's Paradox [1985]
cs.utexas.edu
discuss
15 years ago
toponium
1 points
More