Concepedia

R. D. Tennent

RD

20

Publications

835

Citations

14

H-Index

1973

Active since

Affiliations

Queen's University(Current)

Syracuse University

University of Edinburgh

R. D. Tennent is an author at Queen's University specializing in engineering, formal methods, and automated reasoning.

Top concepts

Publications per year

1973–2012

20

Publications

20

The denotational semantics of programming languages

R. D. Tennent · Communications of the ACM · 1976 · 260 citations · Full text

, , +19

Parametricity and local variables

Peter W. O’Hearn, R. D. Tennent · Journal of the ACM · 1995 · 121 citations · Full text

, , +13

Language design methods based on semantic principles

R. D. Tennent · Acta Informatica · 1977 · 84 citations

, , +5

Syntactic control of interference revisited

Peter W. O’Hearn, John Power, Makoto Takeyama et al. · Theoretical Computer Science · 1999 · 65 citations

Relational parametricity and local variables

Peter W. O’Hearn, R. D. Tennent · 1993 · 48 citations

, , +14

Rows per page

1–5 of 20