Rapport de recherche n° 1998-07


Auteur : Dominique Duval & Christian Lair

Titre : Towards Soft Typing in Computer Algebra

Nbre de pages : 52

Document : Article (PDF)

Résumé : Ce texte est une version révisée du document accompagnant le cours donné par D. DUVAL à ISSAC'98. On y propose une méthode de typage "souple'' pour le calcul formel. Cette méthode est fondée sur l'utilisation d'un nouveau constructeur de spécifications : le ``produit en ruban''. Les travaux fondamentaux sur le produit en ruban, par D. DUVAL et C. LAIR, sont en cours de rédaction. Le but de ce document est d'indiquer les idées principales de cette construction, à partir d'exemples, en négligeant les détails techniques.

 


Retour à la liste des rapports