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 |