May 2008 - Annonce

L'air de rien 14
by Daniela Becker 29 May '08

29 May '08

Bonjour, nous avons le plaisir de vous présenter le n°14 du bulletin du LRDE. C'est un numéro spécial consacré aux quatre sessions du séminaire CSI en juin et juillet 2008 avec les résumés de toutes les présentations. Les étudiants des promos 2009 et 2010 y présenteront leur travail. Dates de séminaire à retenir : les 18 et 25 juin, puis les 2 et 9 juillet 2008. Vous pouvez télécharger le bulletin en couleur à la page suivante : http://publis.lrde.epita.fr/200805-l-air-de-rien-14 -- Daniela Becker

1 0

[ELW'08] Breaking News: 2 keynote speakers
by Didier Verna 28 May '08

28 May '08

Dear colleagues, I'm very happy to announce that the 5th European Lisp Workshop, co-located with ECOOP in Paphos, Cyprus, on July 7th 2008 will feature two keynote presentations: - "Lisp for the 21st Century", by Mark Tarver See http://www.lambdassociates.org - "A Detailed Look at the Lisp Nature of Clojure", by Rich Hickey See http://clojure.sourceforge.net Mark Tarver's coming would not have been possible without the help of our sponsors: LispWorks Ltd, Franz Inc and the Association of Lisp Users. Please pay them a visit as well! http://www.lispworks.com/ http://www.franz.com/ http://www.alu.org/ And remember to register to ECOOP before June 1st, the early registration deadline... Hope to see you in Paphos! -- 5th European Lisp Workshop at ECOOP 2008, July 7: http://elw.bknr.net/2008/ Didier Verna, didier(a)lrde.epita.fr, http://www.lrde.epita.fr/~didier EPITA / LRDE, 14-16 rue Voltaire Tel.+33 (0)1 44 08 01 85 94276 Le Kremlin-Bicêtre, France Fax.+33 (0)1 53 14 59 22 didier(a)xemacs.org

1 0

Publication: MPOOL 2008: Semantics-Driven Genericity: A Sequel to the Static C++ Object-Oriented Programming Paradigm (SCOOP 2)
by Roland Levillain 26 May '08

26 May '08

We are happy to announce that the following paper has been accepted for publication at the 6th International Workshop on Multiparadigm Programming with Object-Oriented Languages (MPOOL 2008) that will take place at Paphos, Cyprus, on July 7, 2008: Thierry Géraud and Roland Levillain Semantics-Driven Genericity: A Sequel to the Static C++ Object-Oriented Programming Paradigm (SCOOP 2) http://publis.lrde.epita.fr/200806-ITICSE Classical (unbounded) genericity in C++03 defines the interactions between generic data types and algorithms in terms of concepts. Concepts define the requirements over a type (or a parameter) by expressing constraints on its methods and dependent types (typedefs). The upcoming C++0x standard will promote concepts from abstract entities (not directly enforced by the tools) to language constructs, enabling compilers and tools to perform additional checks on generic constructs as well as enabling new features (e.g., concept-based overloading). Most modern languages support this notion of signature on generic types. However, generic types built on other types and relying on concepts to both ensure type conformance and drive code specialization, restrain the interface and the implementation of the newly created type: specific methods and associated types not mentioned in the concept will not be part of the new type. The paradigm of concept-based genericity lacks the required semantics to transform types while retaining or adapting their intrinsic capabilities. We present a new form of semantically-enriched genericity allowing static generic type transformations through a simple form of type introspection based on type metadata called properties. This approach relies on a new Static C++ Object-Oriented Programming (SCOOP) paradigm, and is adapted to the creation of generic and efficient libraries, especially in the field of scientific computing. Our proposal uses a metaprogramming facility built into a C++ library called Static, and doesn't require any language extension nor additional processing (preprocessor, transformation tool).

1 1

Séminaire Performance et Généricité du LRDE le 28 Mai 2008
by Didier Verna 20 May '08

20 May '08

Chers collègues, la prochaine session du séminaire Performance et Généricité du LRDE (Laboratoire de Recherche et Développement de l'EPITA) aura lieu le 28 Mai 2008. Au programme: * 14h: Le language BSML Frédéric Gava, LACL, Université de Paris Est, Créteil * 15h15: Programmation parallèle certifiée Frédéric Loulergue, LIFO, Université d'Orléans L'entrée du séminaire est libre. Pour plus de renseignements, consultez http://seminaire.lrde.epita.fr/. Merci de bien vouloir diffuser cette information le plus largement possible. Prochaine séance: mercredi 24 Septembre 2008 avec Gaétan Hains et Joël Falcou. -- Didier Verna, didier(a)lrde.epita.fr, http://www.lrde.epita.fr/~didier EPITA / LRDE, 14-16 rue Voltaire Tel.+33 (0)1 44 08 01 85 94276 Le Kremlin-Bicêtre, France Fax.+33 (0)1 53 14 59 22 didier(a)xemacs.org

1 0