More Powerful Abstraction

• Even when a CFG has been abstracted by coalescing statements into basic blocks, it still may be too complex to be useful

• A more powerful mechanism for abstraction is the prime program

Previous slide

Next slide

Back to first slide

View graphic version