Questions et réponses pour le fixed-point-iteration :
Questions sur l'itération en virgule fixe, une méthode de calcul de points fixes de fonctions. Pour les combinateurs utilisés pour coder la récursivité, utilisez plutôt [fixpoint-combinators]. Pour l'arithmétique à virgule fixe, utilisez plutôt [virgule fixe]. Pour le moteur de point fixe de Z3, utilisez plutôt [z3-fixedpoint].