Concepedia

Richard P. Reitman

RP

Statistics

Publications

3

Citations

174

H-Index

3

Active since

1978

Affiliations

Syracuse University(Current)

Richard P. Reitman is an author at Syracuse University specializing in axiomatic semantics, computer science, and formal methods.

Publications per year

1978–1980

3

Publications

3

An Axiomatic Approach to Information Flow in Programs

Gregory R. Andrews, Richard P. Reitman · ACM Transactions on Programming Languages and Systems · 1980 · 150 citations · Full text

, , +14

Certifying information flow properties of programs

Richard P. Reitman, Gregory R. Andrews · 1979 · 14 citations

, , +14

Information flow in parallel programs: an axiomatic approach.

Richard P. Reitman · eCommons (Cornell University) · 1978 · 10 citations · Full text

, , +15

1–3 of 3