Allen Stoughton

Publication Activity (10 Years)

Years Active: 1979-2002
Publications (10 Years): 0

University of Edinburgh, UK (PHD)

Education History

University of Edinburgh, UK

PHD

Publications

Christian Haack, Brian Howard, Allen Stoughton, Joe B. Wells
Fully Automatic Adaptation of Software Components Based on Semantic Specifications. AMAST (2002)
Allen Stoughton
Infinite Pretty-printing in eXene. Scottish Functional Programming Workshop (2001)
Allen Stoughton
An Operational Semantics Framework Supporting the Incremental Construction of Derivation Trees. Electron. Notes Theor. Comput. Sci. 10 (1997)
Allen Stoughton
Mechanizing Logical Relations. MFPS (1993)
Achim Jung, Allen Stoughton
Studying the Fully Abstract Model of PCF within its Continuous Function Model. TLCA (1993)
Allen Stoughton
Parallel PCF Has a Unique Extensional Model LICS (1991)
Allen Stoughton
Interdefinability of Parallel Operations in PCF. Theor. Comput. Sci. 79 (2) (1991)
Allen Stoughton
Equationally Fully Abstract Models of PCF. Mathematical Foundations of Programming Semantics (1989)
Allen Stoughton
Substitution Revisited. Theor. Comput. Sci. 59 (1988)
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) (1983)
Vittal Kini, David F. Martin, Allen Stoughton
Testing the INRIA Ada formal definition: the USC-ISI formal semantics project. AdaTEC Conference on Ada (1982)
Allen Stoughton
Access Flow: A Protection Model which Integrates Access Control and Information Flow. IEEE Symposium on Security and Privacy (1981)
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)
Gerald J. Popek, Mark Kampe, Charles S. Kline, Allen Stoughton, Michael Urban, Evelyn Walton
UCLA Secure Unix. MARK (1979)

Allen Stoughton.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Allen Stoughton