Chapter 5. Examples

Table of Contents

A simple example to start from: x * (1 - x)
The C program
First Gappa version
Defining notations
Complete version
Tang's exponential function
The algorithm
Gappa description
Full listing
Fixed-point Newton division
The algorithm and its verification
Adding hints
Full listing