Robert D. Tennent

According to our database, Robert D. Tennent authored at least 34 papers between 1973 and 2012.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2012

Monoidal indeterminates and categories of possible worlds.

Claudio Hermida, Robert D. Tennent

Theor. Comput. Sci., 2012

2009

An introduction to Landin's "Getting Rid of Labels".

Robert D. Tennent

High. Order Symb. Comput., 2009

2007

A fibrational framework for possible-world semantics of Algol-like languages.

Claudio Hermida, Robert D. Tennent

Theor. Comput. Sci., 2007

2002

Specifying software - a hands-on introduction.

Robert D. Tennent

Cambridge University Press, ISBN: 978-0-521-00401-5, 2002

2000

Abstract Models of Storage.

Robert D. Tennent, Dan R. Ghica

High. Order Symb. Comput., 2000

Lax Logical Relations.

Gordon D. Plotkin, John Power, Donald Sannella, Robert D. Tennent

Proceedings of the Automata, Languages and Programming, 27th International Colloquium, 2000

1999

Syntactic Control of Interference Revisited.

Peter W. O'Hearn, John Power, Makoto Takeyama, Robert D. Tennent

Theor. Comput. Sci., 1999

Bireflectivity.

Peter J. Freyd, Peter W. O'Hearn, A. John Power, Makoto Takeyama, R. Street, Robert D. Tennent

Theor. Comput. Sci., 1999

1997

An Axiomatic Approach to Binary Logical Relations with Applications to Data Refinement.

Yoshiki Kinoshita, Peter W. O'Hearn, John Power, Makoto Takeyama, Robert D. Tennent

Proceedings of the Theoretical Aspects of Computer Software, Third International Symposium, 1997

1995

Parametricity and Local Variables.

Peter W. O'Hearn, Robert D. Tennent

J. ACM, 1995

Bireflectivity.

Peter J. Freyd, Peter W. O'Hearn, John Power, Robert D. Tennent, Makoto Takeyama

Proceedings of the Eleventh Annual Conference on Mathematical Foundations of Programming Semantics, 1995

1993

Semantical Analysis of Specification Logic, 2

Peter W. O'Hearn, Robert D. Tennent

Inf. Comput., November, 1993

Relational Parametricity and Local Variables.

Peter W. O'Hearn, Robert D. Tennent

Proceedings of the Conference Record of the Twentieth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1993

1991

Continuations in Possible-World Semantics.

Robert D. Tennent, J. K. Tobin

Theor. Comput. Sci., 1991

Local Variables and Non-Interference in Algol-like Languages.

Robert D. Tennent

Proceedings of the Category Theory and Computer Science, 1991

Semantics of programming languages.

Robert D. Tennent

Prentice Hall International Series in Computer Science, Prentice Hall, ISBN: 978-0-13-805599-8, 1991

1990

Semantical Analysis of Specification Logic

Robert D. Tennent

Inf. Comput., April, 1990

1989

Elementary Data Structures in ALGOL-Like Languages.

Robert D. Tennent

Sci. Comput. Program., 1989

1987

Quantification in Algol-Like Languages.

Robert D. Tennent

Inf. Process. Lett., 1987

A Note on Undefined Expression Values in Programming Logics.

Robert D. Tennent

Inf. Process. Lett., 1987

1985

A Comparison of the ANSI and ISO Pascal Word Standards.

Robert D. Tennent

Softw. Pract. Exp., 1985

Functor - Category Semantics of Programming Languages and Logics.

Robert D. Tennent

Proceedings of the Category Theory and Computer Programming, 1985

1983

Semantics of Interference Control.

Robert D. Tennent

Theor. Comput. Sci., 1983

An alternative to conformant-array parameters in Pascal.

Robert D. Tennent

ACM SIGPLAN Notices, 1983

Some Proposals for Improving Pascal.

Robert D. Tennent

Comput. Lang., 1983

1982

Two Examples of Block Structuring.

Robert D. Tennent

Softw. Pract. Exp., 1982

1981

Principles of programming languages.

Robert D. Tennent

Prentice Hall International Series in Computer Science, Prentice Hall, ISBN: 978-0-13-709873-6, 1981

1978

Another Look at Type Compatibility in Pascal.

Robert D. Tennent

Softw. Pract. Exp., 1978

1977

On a New Approach to Representation Independent Data Classes.

Robert D. Tennent

Acta Informatica, 1977

Language Design Methods Based on Semantic Principles.

Robert D. Tennent

Acta Informatica, 1977

1976

The Denotational Semantics of Programming Languages.

Robert D. Tennent

Commun. ACM, 1976

1973

The design and implementation of quest, a very high level pedagogic programming language.

Michael A. Jenkins, Robert D. Tennent

ACM SIGPLAN Notices, 1973

QUEST: the design of a very high level, pedagogic programming language.

Trevor I. Fenner, Michael A. Jenkins, Robert D. Tennent

ACM SIGPLAN Notices, 1973

Mathematical Semantics of Snobol 4.

Robert D. Tennent

Proceedings of the Conference Record of the ACM Symposium on Principles of Programming Languages, 1973