S. A. Walker

According to our database, S. A. Walker authored at least 3 papers between 1972 and 1973.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

1973

Characterizations of Flowchartable Recursions.

S. A. Walker, H. Raymond Strong

J. Comput. Syst. Sci., 1973

1972

Characterization of Flowchartable Recursions (Short Version)

S. A. Walker, H. Raymond Strong

Proceedings of the 4th Annual ACM Symposium on Theory of Computing, 1972

Properties preserved under recursion removal.

H. Raymond Strong, S. A. Walker

Proceedings of ACM Conference on Proving Assertions About Programs, 1972