The YAFL Programming Language

<body BACKGROUND="../gif/logoyafl.gif"> <font size="2" FONT FACE="ARIAL, GENEVA" COLOR="#009999"><h1>Welcome to the Yafl world</h1></font> <p><font size="2" FONT FACE="ARIAL, GENEVA">Welcome to the joyful world of the YAFL programming language.</p> <p>Are you a Yafl newbie ? click <a HREF="http://www.phidani.be/yafl/article/index.html" TARGET="_top">here</a> <font size="2" FONT FACE="ARIAL, GENEVA">for an introductory article on Yafl, its history and motivations. This article has been published in JOOP (Journal of Object-Oriented Programming in november 1996.</p> <p>The first Yafl conference has been held in March 1996, and attracted about 40 attendees. You can download the various papers that have been presented at this conference. Most of them are research papers, but some of them do describe projects that have gone into production.</p> <table BORDER="BORDER"> <tr> <td>Author</td> <td>Article</td> <td> The same, compressed</td></tr> <tr> <td>Darius Blasband (Well, myself)</td> <td><a HREF="ftp://ftp.phidani.be/pub/yafl/daemons.ps">Of genericity and other deamons</a></td> <td></td></tr> <tr> <td>William Nicora</td> <td><a HREF="ftp://ftp.phidani.be/pub/yafl/yam.ps">YAM: the Yafl Abstract Machine</a></td> <td></td></tr> <tr> <td>Jerôme Verstrynge</td> <td><a HREF="ftp://ftp.phidani.be/pub/yafl/ymelt.ps">MoIS or Introducing Molten Ice in Yafl</a></td> <td></td></tr> <tr> <td>Lionel Ferrette</td> <td><a HREF="ftp://ftp.phidani.be/pub/yafl/cool.ps">Cool: A Compiler as a Compiler/Compiler</a></td> <td></td></tr> <tr> <td>Marc Blasband (Beware: unlike other entries in this list, this document is in Microsoft Word format)</td> <td><a HREF="ftp://ftp.phidani.be/pub/yafl/increm.doc">Using Yafl in a real world environment</a></td> <td></td></tr> <tr> <td>Laurent Ferier</td> <td><a HREF="ftp://ftp.phidani.be/pub/yafl/ystormart.ps">Global optimization in Yafl</a></td> <td></td></tr> <tr> <td>Jean-Christophe Réal</td> <td><a HREF="ftp://ftp.phidani.be/pub/yafl/proof.ps">Formally proving Yafl programs </a></td> <td></td></tr></table> <p>Laurent Ferier recently finished his thesis over global optimization in Yafl, that can be downloaded as <a HREF="ftp://ftp.phidani.be/pub/yafl/ystorm.ps">a PostScript file</a>. This these has been proposed for two academic awards in Belgium, and the global optimization technique that he as implemented and which is being described in his paper are used on a daily basis now.</p> <p>And just in case you really wanted the real thing, the entire Yafl documentation is available as <a HREF="ftp://ftp.phidani.be/pub/yafl/typl2.ps">a single PostScript file</a> but beware: it is over 350 pages long.</p></body>