Pierre-Nicolas Tollitte

Learn More
R ´ ESUMÉ. Nous proposons une méthode de génération de code fonctionneì a partir de spécifications inductives dans le cadre de l'atelier Focalize. Cette méthode consiste en une analyse préalable de cohérence de mode, qui vérifie si un calcul est possible par rapport aux entrées/sorties sélectionnées, puis en la génération de code proprement dite. Le code(More)
  • 1