Derek C. Oppen

According to our database, Derek C. Oppen authored at least 14 papers between 1973 and 1983.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

1983

The Clearinghouse: A Decentralized Agent for Locating Named Objects in a Distributed Environment.

Derek C. Oppen, Yogen K. Dalal

ACM Trans. Inf. Syst., 1983

1981

The Logic of Aliasing.

Robert Cartwright, Derek C. Oppen

Acta Informatica, 1981

1980

Prettyprinting.

Derek C. Oppen

ACM Trans. Program. Lang. Syst., 1980

Complexity, Convexity and Combinations of Theories.

Derek C. Oppen

Theor. Comput. Sci., 1980

Reasoning About Recursively Defined Data Structures.

Derek C. Oppen

J. ACM, 1980

Fast Decision Procedures Based on Congruence Closure.

Greg Nelson, Derek C. Oppen

J. ACM, 1980

1979

Simplification by Cooperating Decision Procedures.

Greg Nelson, Derek C. Oppen

ACM Trans. Program. Lang. Syst., 1979

1978

A 2^2^2^pn Upper Bound on the Complexity of Presburger Arithmetic.

Derek C. Oppen

J. Comput. Syst. Sci., 1978

A Simplifier Based on Efficient Decision Algorithms.

Charles G. Nelson, Derek C. Oppen

Proceedings of the Conference Record of the Fifth Annual ACM Symposium on Principles of Programming Languages, 1978

Unrestricted Procedure Calls in Hoare's Logic.

Robert Cartwright, Derek C. Oppen

Proceedings of the Conference Record of the Fifth Annual ACM Symposium on Principles of Programming Languages, 1978

1977

Fast Decision Algorithms Based on Union and Find

Greg Nelson, Derek C. Oppen

Proceedings of the 18th Annual Symposium on Foundations of Computer Science, Providence, Rhode Island, USA, 31 October, 1977

1975

Proving Assertions about Programs that Manipulate Data Structures

Derek C. Oppen, Stephen A. Cook

Proceedings of the 7th Annual ACM Symposium on Theory of Computing, 1975

An Assertion Language for Data Structures.

Stephen A. Cook, Derek C. Oppen

Proceedings of the Conference Record of the Second ACM Symposium on Principles of Programming Languages, 1975

1973

Elementary Bounds for Presburger Arithmetic

Derek C. Oppen

Proceedings of the 5th Annual ACM Symposium on Theory of Computing, April 30, 1973