Outline

• Assumptions for example

• Implementation: sprod/prod/add2

• Example: factorial

Previous slide

Next slide

Back to first slide

View graphic version