Jack Buchanan

We don’t have enough information about this author to calculate their statistics. If you think this is an error let us know.
Reinemann Douglas1
Maria Lepowsky1
1Reinemann Douglas
1Maria Lepowsky
Learn More
It is shown how the LISP iterative primitives PROG, SETQ, GO, and RETURN may be introduced into the Boyer-Moore method for automatically verifying Pure LISP programs. This is done by extending some of the previously described heuristics for dealing with recursive functions. The resulting verification procedure uses structural induction to handle both(More)
  • 1