 | 2002 |
|---|
| 11 |       | 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 | | 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 |
