C. David Allen

Publication Activity (10 Years)

Years Active: 1971-1972
Publications (10 Years): 0

Publications

C. David Allen
Derivation of axiomatic definitions of programming languages from algorithmic definitions. Proving Assertions About Programs (1972)
C. David Allen
The Application of Logic to Programs and Programming. IBM Syst. J. 10 (1) (1971)