AutoProof Code Repository Binary search >

Arithmetic

Category: Algorithm

Source: VSI'08

Description

An implementation of addition using increments, multiplication using additions, and division using subtractions. All operations are implemented with both iterative and recursive algorithms.

download source

Code