Bonjour,
Y'a-t-il dans la littérature des résultats sur la transformation
automatique de définitions récursives non terminales, en définitions
de fonctions récursives terminales avec pile de taille bornée ?
Sachant que le problème général est certainement indécidable,
y'a-t-il des cla
Bonjour,
Je voudrais savoir s'il existait un moyen de transformer une
fonction récursive non terminale en fonction récursive terminale avec
Caml.
___
Caml-list mailing list. Subscription management:
http://yquem.inria.fr/cgi-bin/mailman/listinf
