BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Oppen:Derek_C=

Contributed to:

POPL 19781978
POPL 19751975
STOC 19751975
STOC 19731973

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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.