Explore Salon Quotes Lists Reviews Writings

—

Changelog About Contact Privacy Donate

R. D. Tennent | lit.salon

Author

R. D. Tennent

Born 1944

Also known as Robert Tennent, Bob Tennent, R.D. Tennent

8 works

1968–2001 across 7 dated works

No biography is available yet.

Start with

The effect of Gaussian criterion noise in signal detection theory.1968
Mathematical semantics and design of programming languages.1973
Principles of programming languages1981
Semantics of programming languages1991

Books

8 works

Featured (7)Featured (7)All (8)All (8)

Search booksSort books

Algol-like Languages (Progress in Theoretical Computer Science)1996
With Peter O'Hearn
5 editions
shelves
0
reviews
0
lists
0
quotes
0
Specifying Software2001
4 editions
shelves
0
reviews
0
lists
0
quotes
0
Principles of programming languages1981
2 editions
shelves
0
reviews
0
lists
0
quotes
0
Semantics of programming languages1991
1 edition
shelves
0
reviews
0
lists
0
quotes
0
Mathematical semantics and design of programming languages.1973
1 edition
shelves
0
reviews
0
lists
0
quotes
0
The effect of Gaussian criterion noise in signal detection theory.1968
1 edition
shelves
0
reviews
0
lists
0
quotes
0
Correctness of data representations in Algol-like languages1993
1 edition
shelves
0
reviews
0
lists
0
quotes
0
Functor-category semantics of programming languages and logics.1986
1 edition
shelves
0
reviews
0
lists
0
quotes
0

End of results

Readers in conversation

Around the salon

Public notes, reviews, lists, and conversations around R. D. Tennent.

The conversation is still open.

There is no public salon activity to show for R. D. Tennent yet.