Projet : CAFE - cafe

<body bgcolor="#FFFFFF" text="#000000" link="#9944EE" vlink= "#0000FF" alink="#00FF00"> <h2><a name="SECTION00052000000000000000" id= "SECTION00052000000000000000">Bibliothèque S<small>ALLI</small></a></h2> <a name="CAFE_logiciels_Salli" id="CAFE_logiciels_Salli"></a> <p><br /> <br /> <span class="textbf">Participants :</span> Manuel Bronstein [correspondant], Hélène Prieto.<br /> <br /></p> <p><strong>Mots clés :</strong> <i>Aldor, standard, structures de données .</i></p> <p>Suite à un contrat de <span class="MATH"><img width="11" height="24" align="middle" border="0" src="img14.png" alt= "$ \beta$" /></span>-test avec NAG Ltd. pour l'évaluation du compilateur Aldor, la bibliothèque standard <a name="tex2html6" href= "http://www-sop.inria.fr/cafe/Manuel.Bronstein/salli.html" target="_top" id="tex2html6">S<small>ALLI</small></a> (Standard ALdor LIbrary) continue à être développée dans le projet. Nous y avons rajouté cette année une interface aux entiers longs et flottants longs de la bibliothèque GNU MP, ainsi que des structures de données « infinies » qui permettent de manipuler facilement des suites et séries infinies « paresseuses », c'est-à-dire dont les coefficients ne sont calculés que lorsqu'ils interviennent dans d'autres calculs [<a href="bibliographie_Toc.html#Watt88" target= "contents">Wat88</a>]. Cette bibliothèque remplace les bibliothèques <tt>axllib</tt> et <tt>BasicLib</tt> produites par NAG et fournit une interface de haut niveau aux types et structures de données de base du langage. S<small>ALLI</small> est distribuée avec un tutorial sur la programmation en Aldor[<a href= "bibliographie_Toc.html#SALLITUT" target= "contents">BB98</a>].</p> </body>