Robert D. Tennent

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