R. D. Tennent
6 published titles
Principles of programming languages
1 edition
- ISBN: 0137098731
- Prentice-Hall
- 1981
- Details
Semantics of programming languages
1 edition
- ISBN: 0138055998
- Prentice Hall
- 1991
- Details
Relational parametricity and local variables (preliminary report)
(Contributor)
1 edition
- LFCS, Dept. of Computer Science, University of Edinburgh
- 1992
- Details
Semantics of local variables
(Contributor)
1 edition
- LFCS, Dept. of Computer Science, University of Edinburgh
- 1992
- Details
Correctness of data representations in Algol-like languages
1 edition
- LFCS, Dept. of Computer Science, University of Edinburgh
- 1993
- Details
Specifying software : a hands-on introduction
1 edition
- ISBN: 0521004012
- Cambridge University Press
- 2002
- Details
