Fixpoint Calculator

 

Project Description


Examples

New Program
 

mnD with Conjunctive Domain:

Step 1

Step 2

Step 3

 

mnD with Disjunctive Domain:

Step 1

Step 2

Step 3

 

ASIAN'06 Example:

Disjunctive analysis

Shows the difference between Planar and Hausdorff affinities

Transitive invariant

 

Other Examples:

Exercise: McCarthy's 91 function

Solution: McCarthy's 91 function

Ackermann function

Queens

Quicksort