Travelled to:2 × USA
Collaborated with:∅
Talks about:parallel (2) program (2) abstract (1) correct (1) refin (1)
Person: Thomas W. Doeppner Jr.
DBLP: Doeppner Jr.:Thomas_W=
Contributed to:
1977
1976Wrote 2 papers:
- POPL-1977-Doeppner #correctness #parallel #refinement
- Parallel Program Correctness Through Refinement (TWDJ), pp. 155–169.
- STOC-1976-Doeppner #abstraction #on the #parallel #source code
- On Abstractions of Parallel Programs (TWDJ), pp. 65–72.