Richard P. Reitman

Publication Activity (10 Years)

Years Active: 1979-1980
Publications (10 Years): 0

Publications

Gregory R. Andrews, Richard P. Reitman
An Axiomatic Approach to Information Flow in Programs. ACM Trans. Program. Lang. Syst. 2 (1) (1980)
Richard P. Reitman
A Mechanism for Information Control in Parallel Systems. SOSP (1979)
Richard P. Reitman, Gregory R. Andrews
Certifying Information Flow Properties of Programs: An Axiomatic Approach. POPL (1979)