Characterizations of flowchartable recursions
- S.A. Walker
- H.R. Strong
- 1973
- Journal of Computer and System Sciences
Paper
Publications
4 results for S.A. Walker
Characterizations of flowchartable recursions short version
- S.A. Walker
- H.R. Strong
- 1972
- STOC 1972
Conference paperProperties preserved under recursion removal
- H.R. Strong
- S.A. Walker
- 1972
- ACM Conference on Proving Assertions about Programs 1972
Conference paperProperties preserved under recursion removal
- H.R. Strong
- S.A. Walker
- 1972
- ACM SIGPLAN Notices
Paper