Robert D. Tennent
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
2
Active years
1973–2000
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2000 | ICALP | Lax Logical Relations. | Gordon D. Plotkin, John Power, Donald Sannella, Robert D. Tennent |
| 1993 | POPL | Relational Parametricity and Local Variables. | Peter W. O'Hearn, Robert D. Tennent |
| 1982 | ICALP | Semantics of Interference Control. | Robert D. Tennent |
| 1973 | POPL | Mathematical Semantics of Snobol 4. | Robert D. Tennent |