Travelled to:2 × USA
Collaborated with:G.R.Andrews ∅
Talks about:inform (2) properti (1) parallel (1) approach (1) program (1) control (1) certifi (1) axiomat (1) system (1) mechan (1)
Person: Richard P. Reitman
DBLP: Reitman:Richard_P=
Contributed to:
1979
1979Wrote 2 papers:
- POPL-1979-ReitmanA #approach #axiom #data flow #source code
- Certifying Information Flow Properties of Programs: An Axiomatic Approach (RPR, GRA), pp. 283–290.
- SOSP-1979-Reitman #parallel
- A Mechanism for Information Control in Parallel Systems (RPR), pp. 55–63.