Derek C. Oppen

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