2002 |
11 | EE | Christian Haack,
Brian Howard,
Allen Stoughton,
J. B. Wells:
Fully Automatic Adaptation of Software Components Based on Semantic Specifications.
AMAST 2002: 83-98 |
2001 |
10 | | Allen Stoughton:
Infinite Pretty-printing in eXene.
Scottish Functional Programming Workshop 2001: 13-24 |
1997 |
9 | EE | Allen Stoughton:
An Operational Semantics Framework Supporting the Incremental Construction of Derivation Trees.
Electr. Notes Theor. Comput. Sci. 10: (1997) |
1993 |
8 | | Allen Stoughton:
Mechanizing Logical Relations.
MFPS 1993: 359-377 |
7 | | Achim Jung,
Allen Stoughton:
Studying the Fully Abstract Model of PCF within its Continuous Function Model.
TLCA 1993: 230-244 |
1991 |
6 | | Allen Stoughton:
Parallel PCF Has a Unique Extensional Model
LICS 1991: 146-151 |
5 | | Allen Stoughton:
Interdefinability of Parallel Operations in PCF.
Theor. Comput. Sci. 79(2): 357-358 (1991) |
1989 |
4 | | Allen Stoughton:
Equationally Fully Abstract Models of PCF.
Mathematical Foundations of Programming Semantics 1989: 271-283 |
1988 |
3 | | Allen Stoughton:
Substitution Revisited.
Theor. Comput. Sci. 59: 317-325 (1988) |
1983 |
2 | | Douglas Stott Parker Jr.,
Gerald J. Popek,
Gerard Rudisin,
Allen Stoughton,
Bruce J. Walker,
Evelyn Walton,
Johanna M. Chow,
David A. Edwards,
Stephen Kiser,
Charles S. Kline:
Detection of Mutual Inconsistency in Distributed Systems.
IEEE Trans. Software Eng. 9(3): 240-247 (1983) |
1981 |
1 | | Douglas Stott Parker Jr.,
Gerald J. Popek,
Gerard Rudisin,
Allen Stoughton,
Bruce J. Walker,
Evelyn Walton,
Johanna M. Chow,
David A. Edwards,
Stephen Kiser,
Charles S. Kline:
Detection of Mutual Inconsitency in Distributed Systems.
Berkeley Workshop 1981: 172-184 |