Allen Stoughton

16 papers A* 1B 2Journal 3Unranked 8
YearRankTypeTitle / Venue / Authors
2002 — conf
Fully Automatic Adaptation of Software Components Based on Semantic Specifications.
AMAST
Christian Haack, Brian Howard, Allen Stoughton, Joe B. Wells
2001 — conf
Infinite Pretty-printing in eXene.
Scottish Functional Programming Workshop
Allen Stoughton
1997 — conf
An Operational Semantics Framework Supporting the Incremental Construction of Derivation Trees.
HOOTS
Allen Stoughton
1993 B conf
Mechanizing Logical Relations.
MFPS
Allen Stoughton
1993 — conf
Studying the Fully Abstract Model of PCF within its Continuous Function Model.
TLCA
Achim Jung, Allen Stoughton
1991 J jnl
Interdefinability of Parallel Operations in PCF.
Theor. Comput. Sci.
Allen Stoughton
1991 A* conf
Parallel PCF Has a Unique Extensional Model
LICS
Allen Stoughton
1989 B conf
Equationally Fully Abstract Models of PCF.
Mathematical Foundations of Programming Semantics
Allen Stoughton
1988 — book
Fully abstract models of programming languages.
Allen Stoughton
1988 J jnl
Substitution Revisited.
Theor. Comput. Sci.
Allen Stoughton
1986 — —
Fully abstract models of programming languages.
Allen Stoughton
1983 J jnl
Detection of Mutual Inconsistency in Distributed Systems.
IEEE Trans. Software Eng.
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
1982 — conf
Testing the INRIA Ada formal definition: the USC-ISI formal semantics project.
AdaTEC Conference on Ada
Vittal Kini, David F. Martin, Allen Stoughton
1981 — conf
Access Flow: A Protection Model which Integrates Access Control and Information Flow.
S&P
Allen Stoughton
1981 — conf
Detection of Mutual Inconsitency in Distributed Systems.
Berkeley Workshop
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
1979 — conf
UCLA Secure Unix.
MARK
Gerald J. Popek, Mark Kampe, Charles S. Kline, Allen Stoughton, Michael Urban, Evelyn Walton