S. A. Walker

Publication Activity (10 Years)

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

Publications

S. A. Walker, H. Raymond Strong
Characterizations of Flowchartable Recursions. J. Comput. Syst. Sci. 7 (4) (1973)
H. Raymond Strong, S. A. Walker
Properties preserved under recursion removal. Proving Assertions About Programs (1972)
S. A. Walker, H. Raymond Strong
Characterization of Flowchartable Recursions (Short Version) STOC (1972)