• Publications
  • Influence

Claim Your Author Page
Ensure your research is discoverable on Semantic Scholar. Claiming your author page allows you to personalize the information displayed and manage publications.
I n t r o d u c t i on This analysis continues on Ill, where for any practical, terminating prSgr.am, a set of single entry and exlt control structures is built on the program, Addi%ional data(More)
PO Box 1o63 Cuper t ino~ California 95015 I n t r o dtlc t i on A method of finding a control flow lattice for any practica!, terminating program in linear time is presented, The lattice can be used(More)