- Annonce

[Annonce] [Vaucanson] Disponibilité de la version 0.7.2.
by Loulou Pouchet 09 Nov '05

09 Nov '05

Le LRDE vous annonce la disponibilité de la version 0.7.2 de la bibliothèque de manipulation d'automates finis Vaucanson. http://vaucanson.lrde.epita.fr Cette version propose des correctifs afin de rendre la bibliothèque compatible avec les dernières versions des compilateurs GNU C++ et Intel C++. -- Louis-Noel Pouchet pouchet(a)lrde.epita.fr

1 0

Re: [Annonce] Publication: C-Transformers - A Framework to Write C Program Transformations
by Roland Levillain 25 Oct '05

25 Oct '05

>>>>> "Akim" == Akim Demaille <akim(a)lrde.epita.fr> writes: Akim> Accepté dans l'ACM Crossroads de printemps 2006. Akim> C-Transformers - A Framework to Write C Program Transformations Akim> A. Borghi, V. David, A. Demaille Akim> https://publis.lrde.epita.fr/200510-Crossroads Congratulations!

2 1

[Annonce] Publication: C-Transformers - A Framework to Write C Program Transformations
by Akim Demaille 24 Oct '05

24 Oct '05

Accepté dans l'ACM Crossroads de printemps 2006. C-Transformers - A Framework to Write C Program Transformations A. Borghi, V. David, A. Demaille https://publis.lrde.epita.fr/200510-Crossroads Program transformation techniques have reached a maturity level that allows processing high-level language sources in new ways. Not only do they revolutionize the implementation of compilers and interpreters, but with modularity as a design philosophy, they also permit the seamless extension of the syntax and semantics of existing programming languages. The C-Transformers project provides a transformation environment for C, a language that proves to be hard to transform. We demonstrate the effectiveness of C-Transformers by extending C's instructions and control flow to support Design by Contract. C-Transformers is developed by members of the LRDE: EPITA undergraduate students.

1 0

[Annonce] [Vaucanson] Disponibilité de la version 0.7.1.
by Loulou Pouchet 02 Jul '05

02 Jul '05

Le LRDE vous annonce la disponibilité de la version 0.7.1 de la bibliothèque de manipulation d'automates finis Vaucanson. http://vaucanson.lrde.epita.fr Cette version est une mise à jour mineure de la version 0.7, avec des corrections sur plusieurs algorithmes usuels ainsi que de nouveaux algorithmes sur les transducteurs sur le produit direct de monoides libres. Egalement, la proposition de format XML a été simplifiée et documentée en vue de la présentation lors de la conférence CIAA'05 (http://www.i3s.unice.fr/ciaa05/) -- Loulou loulou(a)lrde.epita.fr

1 0

[Annonce] [LRDE] : Mecredi 1 juin 2005 - 14h00 (P004)
by Reda Dehak 01 Jun '05

01 Jun '05

Vous êtes tous cordialement invités à assister au séminaire du LRDE de cette semaine qui aura lieu le mercredi 01 juin en amphi P004 au KB. Le thème de cette journée est : *OLENA & VAUCANSON* Séminaire du 01 juin 2005 OLENA & Vaucanson Amphi P004 (KB) 14h00 http://www.lrde.epita.fr/cgi-bin/twiki/view/Publications/Seminar-2005-06-01 Programme : OLENA : * 14h00 : Modélisation et taxonomie des images -- Simon Odou * 14h45 : Utilisation de canevas dans Olena -- Damien Thivolle VAUCANSON * 15h45 : Composition de transducteurs -- Sarah O'Connor * 16h30 : Vers une nouvelle modélisation pour Vaucanson -- Louis-Noël Pouchet Les Résumés : *************** * Modélisation et taxonomie des images -- Simon Odou Tout ce que notre esprit est capable de se représenter visuellement est image. Pourtant toutes ces images ne sont pas égales : une fonction n'est pas équivalente à une photographie, non plus à un graphe. De même que notre cerveau est capable de jongler naturellement avec ces différents concepts, nous aimerions doter Olena - la bibliothèque de traitement d'images développée au LRDE - d'une modélisation intuitive et efficace. L'objectif est de mettre un terme à la prédominance des images "classiques" dans Olena en préservant sa simplicité d'utilisation et ses performances. Nous identifierons précisément les différents types d'images avant d'en présenter une taxonomie. Ensuite nous vous proposerons une modélisation Enfin, nous verrons comment le C++ et notamment l'héritage par propriétés facilitent sa mise en oeuvre. * Utilisation de canevas dans Olena -- Damien Thivolle Il arrive que certains algorithmes de traitement d'image aient une écriture similaire. Pour éviter la redondance, la mise en place de canevas permet de factoriser une grande partie du code. Il restealors à remplir les trous dans les implémentations spécifiques. Différentes approches d'implémentation des canevas dans Olena seront présentées. * Composition de transducteurs -- Sarah O'Connor La plateforme de manipulation d'automates qu'est Vaucanson a pour particularité la généricité des objets manipulés. Il est ainsi possible de représenter un grand nombre d'automates de structures différentes et, donc, plus particulièrement les transducteurs. Les transducteurs sont disponibles dans la bibliothèque Vaucanson sous deux formes différentes: automates sur un monoïde libre à coefficients dans une série et automates sur un produit de monoïdes libres. Parmi les algorithmes dédiés aux transducteurs proposés dans Vaucanson, existent plusieurs algorithmes de composition, applicables selon la forme sous laquelle l'utilisateur manipule les transducteurs. Dans cet exposé, nous nous attacherons à l'étude de différents algorithmes de composition de transducteurs, à leur comparaison, puis à l'implémentation de certains d'entre eux dans la bibliothèque Vaucanson. * Vers une nouvelle modélisation pour Vaucanson -- Louis-Noël Pouchet Vaucanson est une bibliothèque de manipulation d'automates finis, programmée grâce à des méthodes avancées de programmation statique. Ce type de programmation permet d'obtenir généricité et performances, au prix parfois d'une programmation lourde et contraignante. En quatre ans, la bibliothèque s'est enrichie de nombreuses fonctionnalités et algorithmes, dont certains n'ont pas été pris en compte au démarrage du projet. A l'instar d'Olena, il est temps d'envisager une refonte de la bibliothèque, en s'attachant à proposer une nouvelle modélisation prenant en compte les besoins actuels et le futur de la bibliothèque. Lors de ce séminaire, un point sera fait sur les fonctionnalités désirées dans la bibliothèque et une attention particulière sera portée sur celles qui ont posé le plus de problèmes. Ensuite, plusieurs méthodes de modélisation seront présentées pour répondre à ces contraintes, afin de déterminer dans quelle direction orienter la maquette de la prochaine version de Vaucanson.

1 0

[Annonce] Publication acceptée à CIAA'05.
by Loulou Pouchet 26 May '05

26 May '05

Publication : Inside Vaucanson Thomas Claveirole, Sylvain Lombardy, Louis-Noel Pouchet and Jacques Sakarovitch. http://publis.lrde.epita.fr/200506-Ciaa Tenth International Conference on Implementation and Application of Automata, 27-29 June 2005 (http://www.i3s.unice.fr/ciaa05/) This paper presents some features of the Vaucanson plateform. We describe some original algorithms on weighted automata and transducers (computation of the quotient, conversion of a regular expression into a weighted automaton, and composition). We explain how complex declarations due to the generic programming are masked from the user and finally we present a proposal for an XML format that allows implicit descriptions for simple types of automata. -- Louis-Noel Pouchet pouchet(a)lrde.epita.fr

1 0

[Annonce] [Vaucanson] Disponibilité de la version 0.7.
by Loulou Pouchet 26 May '05

26 May '05

Le LRDE vous annonce la disponibilité de la version 0.7 de la bibliothèque de manipulation d'automates finis Vaucanson. http://vaucanson.lrde.epita.fr Cette version propose un support des transducteurs sur le produit de monoides libres ainsi que plusieurs algorithmes de manipulation des transducteurs. Le système d'entrée / sortie XML a été mis à jour avec les dernières évolutions de la proposition du groupe Vaucanson de standard XML pour l'échange d'automates ; proposition qui sera présentée lors de la conférence CIAA'O5 (http://www.i3s.unice.fr/ciaa05/) -- Louis-Noel Pouchet pouchet(a)lrde.epita.fr

1 0

[Annonce] Nouvelle publication
by Sylvain Peyronnet 11 Apr '05

11 Apr '05

Je suis fier de vous annoncer une nouvelle publication au lRDE : R. Lassaigne and S. Peyronnet. Probabilistic verification and approximation. In the proc. of the 12th Workshop on Logic, Language, Information and Computation (Wollic 05). Electronic Notes in Theoretical Computer Science. Florianapolis, brazil. July 2005 Cordialement, Sylvain Peyronnet

1 0

[Annonce] Conférence : Making Compiler Construction Projects Relevant to Core Curriculums
by Akim Demaille 09 Feb '05

09 Feb '05

Le papier suivant a été accepté. Making Compiler Construction Projects Relevant to Core Curriculums. http://publis.lrde.epita.fr/200506-ITICSE 10th Annual Conference on Innovation and Technology in Computer Science Education http://www.iticse05.unl.pt/ Universidade Nova de Lisboa, Portugal June 27-29, 2005 Having 300 students a year implement a compiler is very questionable, since the industry will certainly not recruit them for this competence, yet we made that decision five years ago, for reasons not related to compiler construction. We detail these motivations, the resulting compiler design, and how we implemented this. The project meets its goals, since the majority of former students invariably refer to it as the project that taught them the most.

2 1

[Annonce] [Jim Hefferon] tug.ctan.org upload: FiXme
by Didier Verna 01 Feb '05

01 Feb '05

-- 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