`Travelled to:`

4 × USA

`Collaborated with:`

∅ S.A.Cook R.Cartwright C.G.Nelson

`Talks about:`

structur (3) data (3) assert (2) about (2) unrestrict (1) elementari (1) algorithm (1) simplifi (1) procedur (1) presburg (1)

## Person: Derek C. Oppen

### DBLP: Oppen:Derek_C=

### Contributed to:

### Wrote 6 papers:

- POPL-1978-CartwrightO #hoare #logic #strict
- Unrestricted Procedure Calls in Hoare’s Logic (RC, DCO), pp. 131–140.
- POPL-1978-NelsonO #algorithm #performance
- A Simplifier Based on Efficient Decision Algorithms (CGN, DCO), pp. 141–150.
- POPL-1978-Oppen #data type #reasoning #recursion
- Reasoning about Recursively Defined Data Structures (DCO), pp. 151–157.
- POPL-1975-CookO #data type
- An Assertion Language for Data Structures (SAC, DCO), pp. 160–166.
- STOC-1975-OppenC #data type #proving #source code
- Proving Assertions about Programs that Manipulate Data Structures (DCO, SAC), pp. 107–116.
- STOC-1973-Oppen #bound
- Elementary Bounds for Presburger Arithmetic (DCO), pp. 34–37.