Inductive methods for proving properties of programs
There are two main purposes in this paper: first, clarification and extension of known results about computation of recursive programs, with emphasis on the difference…
Inductive methods for proving properties of programs
ACM encourages its members to take a direct hand in shaping the future of the association. There are more ways than ever to get involved.
Get Involved