Robert D. Tennent

According to our database1, Robert D. Tennent
  • authored at least 36 papers between 1973 and 2012.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2012
Monoidal indeterminates and categories of possible worlds.
Theor. Comput. Sci., 2012

2009
An introduction to Landin's "Getting Rid of Labels".
Higher-Order and Symbolic Computation, 2009

Monoidal Indeterminates and Categories of Possible Worlds.
Electr. Notes Theor. Comput. Sci., 2009

2007
A fibrational framework for possible-world semantics of Algol-like languages.
Theor. Comput. Sci., 2007

2002
Specifying software - a hands-on introduction.
Cambridge University Press, ISBN: 978-0-521-00401-5, 2002

2000
Abstract Models of Storage.
Higher-Order and Symbolic Computation, 2000

Lax Logical Relations.
Proceedings of the Automata, Languages and Programming, 27th International Colloquium, 2000

1999
Syntactic Control of Interference Revisited.
Theor. Comput. Sci., 1999

Bireflectivity.
Theor. Comput. Sci., 1999

1997
An Axiomatic Approach to Binary Logical Relations with Applications to Data Refinement.
Proceedings of the Theoretical Aspects of Computer Software, Third International Symposium, 1997

1995
Parametricity and Local Variables.
J. ACM, 1995

Syntactic control of interference revisited.
Electr. Notes Theor. Comput. Sci., 1995

Bireflectivity.
Electr. Notes Theor. Comput. Sci., 1995

1993
Semantical Analysis of Specification Logic, 2
Inf. Comput., November, 1993

Relational Parametricity and Local Variables.
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.
Theor. Comput. Sci., 1991

Local Variables and Non-Interference in Algol-like Languages.
Proceedings of the Category Theory and Computer Science, 1991

Semantics of programming languages.
Prentice Hall International Series in Computer Science, Prentice Hall, ISBN: 978-0-13-805599-8, 1991

1990
Semantical Analysis of Specification Logic
Inf. Comput., April, 1990

1989
Elementary Data Structures in ALGOL-Like Languages.
Sci. Comput. Program., 1989

1987
Quantification in Algol-Like Languages.
Inf. Process. Lett., 1987

A Note on Undefined Expression Values in Programming Logics.
Inf. Process. Lett., 1987

1985
A Comparison of the ANSI and ISO Pascal Word Standards.
Softw., Pract. Exper., 1985

Semantical Analysis of Specification Logic.
Proceedings of the Logics of Programs, 1985

Functor - Category Semantics of Programming Languages and Logics.
Proceedings of the Category Theory and Computer Programming, 1985

1983
Semantics of Interference Control.
Theor. Comput. Sci., 1983

An alternative to conformant-array parameters in Pascal.
SIGPLAN Notices, 1983

Some Proposals for Improving Pascal.
Comput. Lang., 1983

1982
Two Examples of Block Structuring.
Softw., Pract. Exper., 1982

Semantics of Interference Control.
Proceedings of the Automata, 1982

1981
Principles of programming languages.
Prentice Hall International Series in Computer Science, Prentice Hall, ISBN: 978-0-13-709873-6, 1981

1978
Another Look at Type Compatibility in Pascal.
Softw., Pract. Exper., 1978

1977
On a New Approach to Representation Independent Data Classes.
Acta Inf., 1977

Language Design Methods Based on Semantic Principles.
Acta Inf., 1977

1976
The Denotational Semantics of Programming Languages.
Commun. ACM, 1976

1973
Mathematical Semantics of Snobol 4.
Proceedings of the Conference Record of the ACM Symposium on Principles of Programming Languages, 1973


  Loading...