Derek C. Oppen

Publication Activity (10 Years)

Years Active: 1973-1983
Publications (10 Years): 0

Publications

Derek C. Oppen, Yogen K. Dalal
The Clearinghouse: A Decentralized Agent for Locating Named Objects in a Distributed Environment. ACM Trans. Inf. Syst. 1 (3) (1983)
Robert Cartwright, Derek C. Oppen
The Logic of Aliasing. Acta Informatica 15 (1981)
Derek C. Oppen
Prettyprinting. ACM Trans. Program. Lang. Syst. 2 (4) (1980)
Greg Nelson, Derek C. Oppen
Fast Decision Procedures Based on Congruence Closure. J. ACM 27 (2) (1980)
Derek C. Oppen
Complexity, Convexity and Combinations of Theories. Theor. Comput. Sci. 12 (1980)
Derek C. Oppen
Reasoning About Recursively Defined Data Structures. J. ACM 27 (3) (1980)
Greg Nelson, Derek C. Oppen
Simplification by Cooperating Decision Procedures. ACM Trans. Program. Lang. Syst. 1 (2) (1979)
Robert Cartwright, Derek C. Oppen
Unrestricted Procedure Calls in Hoare's Logic. POPL (1978)
Charles G. Nelson, Derek C. Oppen
A Simplifier Based on Efficient Decision Algorithms. POPL (1978)
Derek C. Oppen
A 2^2^2^pn Upper Bound on the Complexity of Presburger Arithmetic. J. Comput. Syst. Sci. 16 (3) (1978)
Derek C. Oppen
Reasoning about Recursively Defined Data Structures. POPL (1978)
Greg Nelson, Derek C. Oppen
Fast Decision Algorithms Based on Union and Find FOCS (1977)
Stephen A. Cook, Derek C. Oppen
An Assertion Language for Data Structures. POPL (1975)
Derek C. Oppen, Stephen A. Cook
Proving Assertions about Programs that Manipulate Data Structures STOC (1975)
Derek C. Oppen
Elementary Bounds for Presburger Arithmetic STOC (1973)