Robert D. Tennent

Publication Activity (10 Years)

Years Active: 1973-2012
Publications (10 Years): 0

Top Topics

Face Recognition

Additional Features

Top Venues

Theor. Comput. Sci.

Publications

Claudio Hermida, Robert D. Tennent
Monoidal indeterminates and categories of possible worlds. Theor. Comput. Sci. 430 (2012)
Robert D. Tennent
An introduction to Landin's "Getting Rid of Labels". High. Order Symb. Comput. 22 (4) (2009)
Claudio Hermida, Robert D. Tennent
Monoidal Indeterminates and Categories of Possible Worlds. MFPS (2009)
Claudio Hermida, Robert D. Tennent
A fibrational framework for possible-world semantics of Algol-like languages. Theor. Comput. Sci. 375 (1-3) (2007)
Gordon D. Plotkin, John Power, Donald Sannella, Robert D. Tennent
Lax Logical Relations. ICALP (2000)
Robert D. Tennent, Dan R. Ghica
Abstract Models of Storage. High. Order Symb. Comput. 13 (1/2) (2000)
Peter W. O'Hearn, John Power, Makoto Takeyama, Robert D. Tennent
Syntactic Control of Interference Revisited. Theor. Comput. Sci. 228 (1-2) (1999)
Peter J. Freyd, Peter W. O'Hearn, A. John Power, Makoto Takeyama, R. Street, Robert D. Tennent
Bireflectivity. Theor. Comput. Sci. 228 (1-2) (1999)
Yoshiki Kinoshita, Peter W. O'Hearn, John Power, Makoto Takeyama, Robert D. Tennent
An Axiomatic Approach to Binary Logical Relations with Applications to Data Refinement. TACS (1997)
Peter J. Freyd, Peter W. O'Hearn, John Power, Robert D. Tennent, Makoto Takeyama
Bireflectivity. MFPS (1995)
Peter W. O'Hearn, Robert D. Tennent
Parametricity and Local Variables. J. ACM 42 (3) (1995)
Peter W. O'Hearn, John Power, Robert D. Tennent, Makoto Takeyama
Syntactic control of interference revisited. MFPS (1995)
Peter W. O'Hearn, Robert D. Tennent
Semantical Analysis of Specification Logic, 2 Inf. Comput. 107 (1) (1993)
Peter W. O'Hearn, Robert D. Tennent
Relational Parametricity and Local Variables. POPL (1993)
Robert D. Tennent, J. K. Tobin
Continuations in Possible-World Semantics. Theor. Comput. Sci. 85 (2) (1991)
Robert D. Tennent
Local Variables and Non-Interference in Algol-like Languages. Category Theory and Computer Science (1991)
Robert D. Tennent
Semantical Analysis of Specification Logic Inf. Comput. 85 (2) (1990)
Robert D. Tennent
Elementary Data Structures in ALGOL-Like Languages. Sci. Comput. Program. 13 (1) (1989)
Robert D. Tennent
Quantification in Algol-Like Languages. Inf. Process. Lett. 25 (2) (1987)
Robert D. Tennent
A Note on Undefined Expression Values in Programming Logics. Inf. Process. Lett. 24 (5) (1987)
Robert D. Tennent
A Comparison of the ANSI and ISO Pascal Word Standards. Softw. Pract. Exp. 15 (8) (1985)
Robert D. Tennent
Semantical Analysis of Specification Logic. Logic of Programs (1985)
Robert D. Tennent
Functor - Category Semantics of Programming Languages and Logics. CTCS (1985)
Robert D. Tennent
An alternative to conformant-array parameters in Pascal. ACM SIGPLAN Notices 18 (10) (1983)
Robert D. Tennent
Semantics of Interference Control. Theor. Comput. Sci. 27 (1983)
Robert D. Tennent
Some Proposals for Improving Pascal. Comput. Lang. 8 (3/4) (1983)
Robert D. Tennent
Two Examples of Block Structuring. Softw. Pract. Exp. 12 (4) (1982)
Robert D. Tennent
Semantics of Interference Control. ICALP (1982)
Robert D. Tennent
Another Look at Type Compatibility in Pascal. Softw. Pract. Exp. 8 (4) (1978)
Robert D. Tennent
On a New Approach to Representation Independent Data Classes. Acta Informatica 8 (1977)
Robert D. Tennent
Language Design Methods Based on Semantic Principles. Acta Informatica 8 (1977)
Robert D. Tennent
The Denotational Semantics of Programming Languages. Commun. ACM 19 (8) (1976)
Robert D. Tennent
Mathematical Semantics of Snobol 4. POPL (1973)
Trevor I. Fenner, Michael A. Jenkins, Robert D. Tennent
QUEST: the design of a very high level, pedagogic programming language. ACM SIGPLAN Notices 8 (2) (1973)
Michael A. Jenkins, Robert D. Tennent
The design and implementation of quest, a very high level pedagogic programming language. ACM SIGPLAN Notices 8 (6) (1973)