Derek C. Oppen
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
3
Active years
1973–1978
Best venue rank
A*
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 1978 | POPL | Unrestricted Procedure Calls in Hoare's Logic. | Robert Cartwright, Derek C. Oppen |
| 1978 | POPL | A Simplifier Based on Efficient Decision Algorithms. | Charles G. Nelson, Derek C. Oppen |
| 1978 | POPL | Reasoning about Recursively Defined Data Structures. | Derek C. Oppen |
| 1977 | FOCS | Fast Decision Algorithms Based on Union and Find | Greg Nelson, Derek C. Oppen |
| 1975 | POPL | An Assertion Language for Data Structures. | Stephen A. Cook, Derek C. Oppen |
| 1975 | STOC | Proving Assertions about Programs that Manipulate Data Structures | Derek C. Oppen, Stephen A. Cook |
| 1973 | STOC | Elementary Bounds for Presburger Arithmetic | Derek C. Oppen |