- Annonce

[Annonce] Nouvelle publication
by Didier Verna 11 Sep '06

11 Sep '06

J'avais oublié d'en parler à la réunion précédente: j'ai également écrit un article sur CurVe pour le PracTeX Journal paru le 15 Août. http://www.tug.org/pracjourn/ -- El Didou

1 0

[Annonce] [Transformers] Release 0.5M2 unstable
by Tsuna 30 Aug '06

30 Aug '06

Bonjour J'ai le plaisir de vous informer que Transformers 0.5M2 a été released. Cette version est encore en développement, c'est pourquoi elle n'a pas encore été tagée ni released de manière officielle. Au programme: nouveau bundle compose de trois packages: generic-tools, c-tools, cxx-tools Gros clean-up du build-system, portage vers Stratego/XT 0.17M2 (la dernière version unstable est nécessaire pour compiler Transformers) Mise a jour/ajout des notices de la GPL un peu partout ou ça manquait. Voila :) -- SIGOURE Benoit aka Tsuna _____ /EPITA\ Promo 2008.CSI Rock & tRoll

2 1

[Annonce] Re: [Stratego] Stratego User Days 2006 ????
by Tsuna 30 Aug '06

30 Aug '06

On 2006-08-29, Eelco Visser <Eelco-Visser(a)xs4all.nl> wrote: > Dear Stratego Users, > > It has been a while since the last Stratego User Days (May 2005). Last > Spring has been rather hectic and no one felt like organizing the event > then. In October I'm moving to Delft University of Technology and there > appears to be some time in my schedule for another SUD. So I'd be > willing to look into organizing a meeting in Delft somewhere in > November. I will only initiate the organization if there are > sufficiently many people interested and intending to attend. So please > let me know whether you would like to attend SUD06 in November in Delft; > and whether you'd be interested in making a contribution (talk, > demonstration, discussion topic, whatever). > > -- Eelco > > P.S. Other opportunities to discuss Stratego/XT and exchange experiences > are at OOPSLA/GPCE in Portland (make sure to attend our tutorial there), > and at POPL/PEPM/... in Nice in January. > -- SIGOURE Benoit aka Tsuna _____ /EPITA\ Promo 2008.CSI Rock & tRoll

1 0

[Annonce] Jamais un sans deux
by Didier Verna 07 Aug '06

07 Aug '06

Après mon article présenté à ECOOP, celui d'IMECS 2006 (Hong Kong) vient également de recevoir le prix du meilleur article de son workshop ! Ça devient une habitude ... Cet article, « How to make Lisp go faster than C » traite du même sujet de recherche que le précédent, mais sous un angle un peu plus vulgarisé et un peu moins technique. -- 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

1 0

[Annonce] Release: Vaucanson 1.0.
by michael.cadilhac＠lrde.org 29 Jul '06

29 Jul '06

The Vaucanson Team is proud to announce the release of Vaucanson 1.0. This release features some major changes such as XML revamping, many changes regarding usability, and a lot of bug fixes. The TAF-Kit, the binary programs to run Vaucanson, can now operate on Z automata and with transducers. More informations are to be read on: http://www.lrde.epita.fr/cgi-bin/twiki/view/Vaucanson/Vaucanson100 and in the NEWS file.

1 0

Re: [Ancien] [Annonce] Best paper award
by Thierry GERAUD 24 Jul '06

24 Jul '06

Ignacy Gawedzki wrote: > On Wed, Jul 05, 2006 at 12:00:46PM +0200, thus spake Didier Verna: > >> Bonjour à tous, >> >>mon article « Beating C in Scientific Computing Applications -- On the >>Behavior and Performance of Lisp, Part 1 », présenté au workshop Lisp d'ECOOP >>2006 vient de recevoir le prix du meilleur article, décerné par Nick Levine, >>de l'association internationale des utilisateurs de Lisp (alu.org) > > > Bravo ! L'article est mis à disposition quelque part ? dans ta boîte mail ;-)

1 0

[Annonce] Best paper award
by Didier Verna 05 Jul '06

05 Jul '06

Bonjour à tous, mon article « Beating C in Scientific Computing Applications -- On the Behavior and Performance of Lisp, Part 1 », présenté au workshop Lisp d'ECOOP 2006 vient de recevoir le prix du meilleur article, décerné par Nick Levine, de l'association internationale des utilisateurs de Lisp (alu.org) -- 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

3 2

[Annonce] [AéroIPSA] Lancement de fusées ce week end, près de chez vous !
by Tsuna 12 Jun '06

12 Jun '06

Vu sur epita.assos, je me suis dis que ca pouvait interesser des gens... Bonjour a tous, AéroIPSA, Le Centre National d'Etudes Spatiales et l'association Planète Sciences Ile-de-France sont heureux de vous inviter au 3e Festiciel Espace Ile-de-France qui se tiendra dimanche 11 juin 2006 de 11h à 18h au Parc François Mitterrand de Saint-Pierre-du-Perray (91). Au programme : - animations astronomiques tous publics - expositions sur le Soleil - présentation d'une véritable capsule spatiale russe Photon - mini-conférences ... et lancement de fusées à partir de 11heures. Venez très nombreux (accès libre) ! Renseignements au 01 69 89 75 27 et sur www.saint-pierre-du-perray.fr ou http://aeroipsa.forumactif.com/ Cyril ARNODO Président d'AéroIPSA -- SIGOURE Benoit aka Tsuna _____ /EPITA\ Promo 2008.CSI Rock & tRoll

2 1

[Annonce] [Séminaire LRDE] : mercredi 14 juin 2006
by Daniela Becker 08 Jun '06

08 Jun '06

Bonjour, Vous êtes cordialement invités à assister au séminaire qui aura lieu le mercredi 14 juin à 14 heures en amphi P04 (KB). ----------------------------------------------------------------------- Le programme : *OLENA & TRANSFORMERS* http://www.lrde.epita.fr/cgi-bin/twiki/view/Publications/Seminar-2006-06-14 OLENA 14h00 : Dynamisation de bibliothèques C++ statiques -- Tristan Croiset 14h30 : Conception d'un langage statique, un aperçu de SCOOL -- Q. Hocquet T. Moulard TRANSFORMERS 15h45 : Aperçu des Grammaires Attribuées -- Nicolas Pierron 16h15 : eXtended Reactive Modules -- Benoît Sigoure ----------------------------------------------------------------------- Les Résumés des exposés : ************************* OLENA * Dynamisation de bibliothèques C++ statiques -- Tristan Croiset L'utilisation de bibliothèques statiques en C++ est fréquente notamment pour proposer des ensembles d'outils de traitements scientifiques. Cette approche qui permet un développement plus efficace et une importante généricité, cause plusieurs désavantages à l'utilisation et particulièrement des temps de compilation rédhibitoires. Nous avons donc cherché à proposer un pont qui permette de faciliter l'utilisation de ces bibliothèques dans un contexte purement dynamique. Plusieurs travaux ont déjà été réalisés au sein du laboratoire et ont permis d'une part d'en préciser les besoins et d'autre part de démontrer sa faisabilité. Les solutions retenues conservent l'utilisation du C++ et font appel aux bibliothèques statiques via une compilation « juste à temps ». Ce séminaire sera axé sur la proposition d'une solution simple qui doit allier un fonctionnement parfaitement décrit et délimité avec une souplesse suffisante. Nous verrons ensuite comment ce socle stable pourra ensuite servir de base à des extensions d'usage (« sucres ») pour différents cas d'utilisations. * Conception d'un langage statique, un aperçu de SCOOL -- Q. Hocquet T. Moulard Lors du développement d'Olena, deux bibliothèques ont été créées afin de contourner les différentes limitations du C++ : Metalic et Static. Cependant, l'utilisation de ces dernières est loin d'être simple pour un développeur qui ne connaît pas les mécanismes de fonctionnement interne de ces outils. L'utilisation abondante de templates et des subtilités associées à ces derniers rend, de plus, la compréhension de ces bibliothèques difficile. Afin de permettre une écriture simple, la création d'un langage suffisamment expressif pour incorporer dans sa syntaxe les fonctionnalités de Metalic et Static a été décidé. Ce langage doit également être très performant afin de satisfaire les contraintes de rapidité d'exécution liées à Olena. C'est de ce constat qu'est né SCOOL, un langage statique orienté objet. SCOOL est un langage transformé vers C++ : le « compilateur » génère des fichiers C++ qui sont ensuite compilés classiquement. Dans cette optique, il est possible d'incorporer du code C++ directement dans SCOOL. Cette transformation n'est malheureusement pas aisée, à cause de la grande complexité de Metalic, Static ainsi que de la grammaire du C++. Ce séminaire se déroulera en deux parties. Tout d'abord un aperçu des fonctionnalités de SCOOP et de sa syntaxe seront expliqués, puis nous passerons à la façon de transformer cette syntaxe en C++. TRANSFORMERS * Aperçu des Grammaires Attribuées -- Nicolas Pierron La notion de grammaire attribuée fut introduite par Knuth en 1968. Cette notion permet l'implémentation de certaines passes des compilateurs actuels. Les attributs sont des symboles attachés aux règles de la grammaire, ils portent une information telle que le résultat d'une évaluation ou bien une table de symboles. L'information peut être propagée entre les attributs en suivant les règles de la grammaire. Plusieurs types de propagations d'attributs existent, des propagations de haut en bas, de bas en haut, et de gauche à droite. Ces catégories se répartissent sous les noms de L-attributs, S-attributs, et LR-attributs. Les grammaires attribuées permettent de faire de la désambiguïsation, ou de la vérification de types, ... De même, il existe quelques systèmes qui gèrent certains types de propagations, en vérifiant les problèmes de cycles à la compilation de l'évaluateur tel que UU-AG, et le module sdf-attribute du projet Transformers. Cet exposé vous donnera un aperçu des grammaires attribuées, ainsi que des propagations possibles et de la sémantique associée. * eXtended Reactive Modules -- Benoît Sigoure Reactive Modules est un formalisme utilisé pour modéliser des systèmes concurrents. De nombreuses applications de model-checking se basent dessus, dont PRISM. Ce dernier utilise un langage du même nom basé sur une version simplifiée de Reactive Modules. Le langage PRISM a été adopté comme un standard de facto et est utilisé (entre autres) par APMC. Il a néanmoins plusieurs faiblesses : les seuls types disponibles sont les entiers et les booléens, il n'existe pas de structures de contrôle (if, for, etc..). Ce dernier point est probablement le plus gênant car lorsqu'il s'agit de décrire des systèmes conséquents, la spécification devient vite pénible. Certaines personnes mettent au point des solutions « ad hoc » pour pallier ce problème : l'utilisation de scripts shell, du préprocesseur du C (cpp) ou du langage M4 sont des exemples courants. C'est pourquoi eXtended Reactive Modules (XRM) à été créé. Ce package fournis des outils qui permettent de travailler avec une version étendue du langage PRISM. Néanmoins, comme il faut rester compatible avec le parseur de PRISM de base, il faut traduire les systèmes écrits dans la version étendue du langage vers du code PRISM pur. Durant la présentation, nous verrons quelles sont les extensions et les outils proposés par XRM, ainsi que leur fonctionnement, dans le but de faciliter la description de systèmes en PRISM. -- Daniela Becker Responsable administrative du LRDE -- Daniela Becker Responsable administrative du LRDE

1 0

[Annonce] L'air de rien 5
by Daniela Becker 02 Jun '06

02 Jun '06

Le cinquième numéro du bulletin du LRDE est sorti. Il est disponible ici : http://www.lrde.epita.fr/cgi-bin/twiki/view/Publications/200605-l-air-de-ri… -- Daniela Becker

1 0