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