I'm happy to announce the next edition f FiNK, the LaTeX2e FIle Name Keeper.
--
Didier Verna, didier(a)lrde.epita.fr, http://www.lrde.epita.fr/~didier
EPITA / LRDE, 14-16 rue Voltaire Tel.+33 (1) 44 08 01 85
94276 Le Kremlin-Bicêtre, France Fax.+33 (1) 53 14 59 22 didier(a)xemacs.org
I am pleased to announce that the article:
How to make Lisp go faster than C (IMECS'06)
has been republished in the IAENG International Journal of Computer
Science (volume 32 #4, ISSN 1819-656X, Dec. 2006).
--
Didier Verna, didier(a)lrde.epita.fr, http://www.lrde.epita.fr/~didier
EPITA / LRDE, 14-16 rue Voltaire Tel.+33 (1) 44 08 01 85
94276 Le Kremlin-Bicêtre, France Fax.+33 (1) 53 14 59 22 didier(a)xemacs.org
Bonjour,
Vous êtes tous cordialement invités à assister au séminaire qui aura
lieu le mercredi 06 juin 2007 à 15 heures en Amphi 2 (KB).
-----------------------------------------------------------------------
Le programme :
*LISP, OLENA & TRANSFORMERS*
http://www.lrde.epita.fr/cgi-bin/twiki/view/Publications/Seminar-2007-06-06
LISP
15h00 : Étude de problèmes de performances en C et en Common Lisp --
William Caldwell
OLENA
15h30 : Olena, comme les autres ? -- Thierry Geraud
16h00 : Génie logiciel au coeur d'Olena -- Nicolas Ballas
16h30 : Canevas d'algorithmes morphologiques -- Ugo Jardonnet
17h15 : Étude comparative de Concept C++ et perspective d'intégration
dans SCOOP -- Alexandre Abraham
TRANSFORMERS
17h45 : SCOOL, orientation objet d'un langage statique -- Maxime Van Noppen
18h15 : Aide à la manipulation des grammaires attribuées -- Florian Quèze
-----------------------------------------------------------------------
Les Résumés des exposés :
**************************
LISP
Étude de problèmes de performances en C et en Common Lisp -- William
Caldwell
Dans son article "Beating C in Scientific Computing Applications",
Didier Verna a laissé un certain nombre de questions en suspens. Notre
but est de chercher des explications aux performances inattendues en C
et en Common Lisp concernant l'inlining et les algorithmes d'assignation
et de division.
Ce travail vise à trouver des explications à des résultats expérimentaux
exposés dans l'article.
OLENA
Olena, comme les autres ? -- Thierry Geraud
Si, d'un point de vue lointain, toutes les bibliothèques de traitement
d'images se ressemblent, elles n'ont néanmoins pas été pensées avec les
mêmes objectifs et, par conséquent, ne partagent pas le même ensemble de
caractéristiques. Cet exposé, non technique, a pour but de présenter les
traits principaux qui permettent de définir l'identité de la
bibliothèque Olena. Nous expliquerons nos intentions et nous
justifierons les options que nous avons choisies, ainsi que les
compromis que nous avons dû réaliser. En particulier, nous insisterons
sur les aspects originaux de notre démarche qui, d'une part, peuvent
permettre à Olena de se distinguer des autres bibliothèques et, d'autre
part, peuvent inciter des utilisateurs potentiels à choisir notre
bibliothèque.
Génie logiciel au coeur d'Olena -- Nicolas Ballas
Pour s'assurer de la qualité d'un logiciel et de la facilité de son
développement, le génie logiciel définit un certain nombre de critères à
respecter.
Dans le domaine du traitement d'images, un nombre important de types
différents d'images existent. Il est donc difficile de construire une
bibliothèque, dédiée à ce domaine, proposant des outils réutilisables,
facilement extensibles ou encore compatibles avec des logiciels tiers.
Nous verrons comment différentes techniques, issues du paradigme de
programmation SCOOP mis en place dans Olena, répondent à ce problème.
Enfin nous analyserons des solutions fournies par d'autres bibliothèques
de traitement d'images.
Canevas d'algorithmes morphologiques -- Ugo Jardonnet
Olena est une bibliothèque générique de traitement d'images déve- loppée
au LRDE. Elle propose un grand nombre d'algorithmes mor- phologiques. La
morphologie mathématique, inventée à l'origine pour traiter des images
binaires, ore des outils très puissants de traitement et d'analyse
d'images. Des similarités apparaissant dans l'écriture des algorithmes,
il est possible de classier ces outils et, ainsi, de proposer un certain
nombre de "canevas" d'algorithmes. Il s'agit alors d'apporter des
solutions d'implémentation non redondante de ces canevas. Celles-ci
doivent etre cohérantes avec les notations mathématiques manipulées. A
travers une brève initiation à la morphologie mathématique, cet exposé
presentera diérents canevas d'algorithmes retenus par Olena.
Étude comparative de Concept C++ et perspective d'intégration dans SCOOP
-- Alexandre Abraham
La fin de cette décennie verra l'avènement de C++0x et avec lui du
nouveau paradigme de "concepts". Les concepts fourniront un mé- canisme
de typage abstrait pour les types paramétrés ainsi que tout l'équipement
d'adaptation des types concrets à ces types abstraits comme le fait
actuellement la bibliothèque "Static", composant du projet Olena.
Nous ferons donc un comparatif de ces approches en exhibant leurs points
forts et faibles ainsi que leurs capacités particulières afin de
proposer un support de documentation et une base pour la future
intégration des concepts dans le paradigme SCOOP.
Les concepts pourraient en effet simplifier l'écriture du code client et
enrichir SCOOP de fonctions supplémentaires.
TRANSFORMERS
SCOOL, orientation objet d'un langage statique -- Maxime Van Noppen
SCOOL est un langage statique orienté objet qui a été créé afin de
pouvoir utiliser toute la puissance du C++ statique avec une plus grande
facilité grâce à une syntaxe plus expressive et agréable. Il n'a pas
pour but d'être directement compilé mais d'être traduit en C++ utilisant
le paradigme SCOOP. C'est ce paradigme qui va nous permettre d'équiper
le C++ des fonctionnalités statiques dont nous avons besoin.
Le travail à effectuer s'oriente selon deux axes complémentaires. Le
premier axe de travail, plus formel, sera de vérifier, avec les membres
d'Olena notemment, que le langage dispose de toute l'expressivité dont
ils ont besoin et que sa syntaxe est la plus simple et la plus agréable
possible. Le second axe, plus implémentatoire, va être de continuer
l'implémentation du traducteur. Un chantier principal sera ouvert afin
d'améliorer la gestion du côté orienté objet du langage. C'est à dire,
au moins avoir l'héritage statique ainsi que la possibilité de manipuler
des objets aisément. Un travail plus annexe mais non moins important
pour le projet sera effectué afin d'améliorer la qualité des messages
d'erreurs fournis lors de la phase de traduction afin d'augmenter le
confort d'utilisation de l'ensemble.
Aide à la manipulation des grammaires attribuées -- Florian Quèze
Transformers fournit un ensemble d'outils permettant la désambiguïsation
d'arbres produits par l'analyse syntaxique suivant une grammaire ambiguë
telle que celle du C++.
Le projet Transformers désambiguïse à l'aide de grammaires attribuées.
Cependant, nous ne disposons pas actuellement d'outils permettant la
compréhension approfondie d'un comportement incorrect des grammaires
attribuées.
L'objectif de ce travail est de fournir des outils facilitant la
manipulation des grammaires attribuées, en offrant des moyens de
visualisation agréables pour les développeurs.
--
Daniela Becker
