Action : AID - CLF - « Computer Language Factory »

<body bgcolor="#FFFFFF" text="#000000" link="#9944EE" vlink= "#0000FF" alink="#00FF00"> <h2><a name="SECTION00051000000000000000" id= "SECTION00051000000000000000">CLF - « Computer Language Factory »</a></h2> <a name="AID_logiciels_clf" id="AID_logiciels_clf"></a> <p><strong>Mots clés :</strong> <i>langages de spécification, sémantique, Centaur .</i></p> <p><br /> <br /> <span class="textbf">Participant :</span> Thierry Despeyroux [correspondant].<br /> <br /></p> <p><a name="clf" id="clf"></a></p> <p>CLF, développé par Thierry Despeyroux (losque celui-ci était membre du projet CROAP) est un ensemble d'outils et de formalismes de spécification de la syntaxe et la sémantique de langages informatisées. CLF propose actuellement les langages AS [<a href="bibliographie_ct.html#AS" target= "contents">Des96</a>] (Abstract Syntax) et CS (Concrete Syntax).</p> <p>CLF, utilisé dans le système Centaur <a name="tex2html10" href="http://www-sop.inria.fr/croap/centaur/centaur.html" target="_top" id= "tex2html10">http://www-sop.inria.fr/croap/centaur/centaur.html</a> et basé sur la sémantique naturelle [<a href= "bibliographie_ct.html#Kahn87" target="contents">Kah87</a>], est actuellement appliqué à la spécification de XML et utilisé pour la génération d'un environnement d'aide à la vérification sémantique de sites Web (cf. section <a href= "resul_result-semanti_ct.html#semantique">6.5.1</a>).</p> <hr /> </body>