BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Denmark
1 × Switzerland
2 × USA
Collaborated with:
P.W.O'Hearn G.D.Plotkin J.Power D.Sannella
Talks about:
semant (2) relat (2) parametr (1) mathemat (1) interfer (1) variabl (1) control (1) snobol (1) logic (1) local (1)

Person: Robert D. Tennent

DBLP DBLP: Tennent:Robert_D=

Contributed to:

ICALP 20002000
POPL 19931993
ICALP 19821982
POPL 19731973

Wrote 4 papers:

ICALP-2000-PlotkinPST #logic
Lax Logical Relations (GDP, JP, DS, RDT), pp. 85–102.
POPL-1993-OHearnT #parametricity #relational
Relational Parametricity and Local Variables (PWO, RDT), pp. 171–184.
ICALP-1982-Tennent #semantics
Semantics of Interference Control (RDT), pp. 532–545.
POPL-1973-Tennent #semantics
Mathematical Semantics of Snobol 4 (RDT), pp. 95–107.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.