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