Semantics (programming languages)
article-link
What links here
Communications of the ACM
BLISS
article-link
Peter G. Neumann
article-link
Kahan summation algorithm
article-link
Data degradation
article-link
David Parnas
article-link
Rebecca Mercuri
article-link
Trojan Room coffee pot
article-link
Backdoor (computing)
article-link
Correctness (computer science)
article-link
Symbolic artificial intelligence
article-link
Skip list
article-link
PL/C
article-link
Jim Gray (computer scientist)
article-link
John McCarthy (computer scientist)
article-link
Edward Feigenbaum
article-link
Juris Hartmanis
article-link
Alan Perlis
article-link
Guy L. Steele Jr.
article-link
Shannon switching game
article-link
SPARK (programming language)
article-link
Safety-critical system
article-link
Hypertext Editing System
article-link
Paper prototyping
article-link
Core War
article-link
Stack (abstract data type)
article-link
Kenneth E. Iverson
article-link
J. C. R. Licklider
article-link
Clique problem
article-link
Timeline of operating systems
article-link
Graph isomorphism
article-link
Communicating sequential processes
article-link
Component (graph theory)
article-link
Coroutine
article-link
Utah teapot
article-link
Assertion (software development)
article-link
ISWIM
article-link
Floyd–Warshall algorithm
article-link
Unix philosophy
article-link
QED manifesto
article-link
Leslie Lamport
article-link
Distributed hash table
article-link
Douglas McIlroy
article-link
Network model
article-link
Hoare logic
article-link
Leonardo Torres Quevedo
article-link
Computational geometry
article-link
Tuple relational calculus
article-link
Relational algebra
article-link
Iterator
article-link