| 2007 |
|---|
| 29 | EE | Claudio Hermida,
Robert D. Tennent:
A fibrational framework for possible-world semantics of Algol-like languages.
Theor. Comput. Sci. 375(1-3): 3-19 (2007) |
| 2000 |
|---|
| 28 | EE | Gordon D. Plotkin,
John Power,
Donald Sannella,
Robert D. Tennent:
Lax Logical Relations.
ICALP 2000: 85-102 |
| 27 | | Robert D. Tennent,
Dan R. Ghica:
Abstract Models of Storage.
Higher-Order and Symbolic Computation 13(1/2): 119-129 (2000) |
| 1999 |
|---|
| 26 | EE | Peter W. O'Hearn,
John Power,
Makoto Takeyama,
Robert D. Tennent:
Syntactic Control of Interference Revisited.
Theor. Comput. Sci. 228(1-2): 211-252 (1999) |
| 25 | EE | Peter J. Freyd,
Peter W. O'Hearn,
A. John Power,
Makoto Takeyama,
R. Street,
Robert D. Tennent:
Bireflectivity.
Theor. Comput. Sci. 228(1-2): 49-76 (1999) |
| 1997 |
|---|
| 24 | | 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: 191-212 |
| 1995 |
|---|
| 23 | EE | Peter J. Freyd,
Peter W. O'Hearn,
John Power,
Robert D. Tennent,
Makoto Takeyama:
Bireflectivity.
Electr. Notes Theor. Comput. Sci. 1: (1995) |
| 22 | EE | Peter W. O'Hearn,
John Power,
Robert D. Tennent,
Makoto Takeyama:
Syntactic control of interference revisited.
Electr. Notes Theor. Comput. Sci. 1: (1995) |
| 21 | EE | Peter W. O'Hearn,
Robert D. Tennent:
Parametricity and Local Variables.
J. ACM 42(3): 658-709 (1995) |
| 1993 |
|---|
| 20 | | Peter W. O'Hearn,
Robert D. Tennent:
Relational Parametricity and Local Variables.
POPL 1993: 171-184 |
| 19 | | Peter W. O'Hearn,
Robert D. Tennent:
Semantical Analysis of Specification Logic, 2
Inf. Comput. 107(1): 25-57 (1993) |
| 1991 |
|---|
| 18 | | Robert D. Tennent:
Local Variables and Non-Interference in Algol-like Languages.
Category Theory and Computer Science 1991: 34-36 |
| 17 | | Robert D. Tennent,
J. K. Tobin:
Continuations in Possible-World Semantics.
Theor. Comput. Sci. 85(2): 283-303 (1991) |
| 1990 |
|---|
| 16 | | Robert D. Tennent:
Semantical Analysis of Specification Logic
Inf. Comput. 85(2): 135-162 (1990) |
| 1989 |
|---|
| 15 | | Robert D. Tennent:
Elementary Data Structures in ALGOL-Like Languages.
Sci. Comput. Program. 13(1): 73-110 (1989) |
| 1987 |
|---|
| 14 | | Robert D. Tennent:
A Note on Undefined Expression Values in Programming Logics.
Inf. Process. Lett. 24(5): 331-333 (1987) |
| 13 | | Robert D. Tennent:
Quantification in Algol-Like Languages.
Inf. Process. Lett. 25(2): 133-137 (1987) |
| 1985 |
|---|
| 12 | | Robert D. Tennent:
Functor - Category Semantics of Programming Languages and Logics.
CTCS 1985: 206-224 |
| 11 | | Robert D. Tennent:
Semantical Analysis of Specification Logic.
Logic of Programs 1985: 373-386 |
| 10 | | Robert D. Tennent:
A Comparison of the ANSI and ISO Pascal Word Standards.
Softw., Pract. Exper. 15(8): 821-822 (1985) |
| 1983 |
|---|
| 9 | | Robert D. Tennent:
Some Proposals for Improving Pascal.
Comput. Lang. 8(3/4): 125-137 (1983) |
| 8 | | Robert D. Tennent:
Semantics of Interference Control.
Theor. Comput. Sci. 27: 297-310 (1983) |
| 1982 |
|---|
| 7 | | Robert D. Tennent:
Semantics of Interference Control.
ICALP 1982: 532-545 |
| 6 | | Robert D. Tennent:
Two Examples of Block Structuring.
Softw., Pract. Exper. 12(4): 385-392 (1982) |
| 1978 |
|---|
| 5 | | Robert D. Tennent:
Another Look at Type Compatibility in Pascal.
Softw., Pract. Exper. 8(4): 429-437 (1978) |
| 1977 |
|---|
| 4 | | Robert D. Tennent:
On a New Approach to Representation Independent Data Classes
Acta Inf. 8: 315-324 (1977) |
| 3 | | Robert D. Tennent:
Language Design Methods Based on Semantic Principles
Acta Inf. 8: 97-112 (1977) |
| 1976 |
|---|
| 2 | | Robert D. Tennent:
The Denotational Semantics of Programming Languages.
Commun. ACM 19(8): 437-453 (1976) |
| 1973 |
|---|
| 1 | | Robert D. Tennent:
Mathematical Semantics of Snobol 4.
POPL 1973: 95-107 |
