R
R. D. Tennent
1944
8 works on record
Works

ALGOL-like languages

Semantics of programming languages

Principles of programming languages

Specifying software
Functor-category semantics of programming languages and logics
Functor-category semantics of programming languages and logics
Mathematical semantics and design of programming languages
Mathematical semantics and design of programming languages
The effect of Gaussian criterion noise in signal detection theory
The effect of Gaussian criterion noise in signal detection theory
Correctness of data representations in Algol-like languages
Correctness of data representations in Algol-like languages