Parameter (computer programming)
article-link
What links here
Operational semantics
C standard library
article-link
Formal verification
article-link
Denotation
article-link
Communicating sequential processes
article-link
Reification (computer science)
article-link
Vienna Development Method
article-link
Standard ML
article-link
Closure (computer programming)
article-link
Denotational semantics
article-link
Simulation
article-link
Turing Award
article-link
Semantics
article-link
SECD machine
article-link
Static program analysis
article-link
Priority queue
article-link
Functional programming
article-link
Abstract data type
article-link