LMO 1996: Leysin, Switzerland

Session 1: Object-oriented programming

• Markus Lumpe, Jean-Guy Schneider, Oscar Nierstrasz: Using Metaobjects to Model Concurrent Objects with PICT. 1-12 BibTeX
• François Laburthe, Yves Caseau: Ecrire du code élégant pour des algorithmes complexes. 13-28 BibTeX
• Philippe Collet, Roger Rousseau: Classification et réification des assertions - Application au langage Eiffel. 29-45 BibTeX

Session 2: Object-oriented analysis and design

• Michel Augeraud: Conception orientée objet d'applications concurrentes. 46-61 BibTeX
• Pascal André: Vers un modèle formel en analyse à objets. 62-78 BibTeX

Session 3: Objects and data bases

• F. Mansouri: Raisonnement taxinomique dans les bases de données objets spatiales. 79-81 BibTeX
• Zohra Bellahsene: Modifications virtuelles d'une hiérarchie de classes. 92-107 BibTeX
• Stéphane Demphlous, Franck Lebastard: Intégration de langages et de bases de données à objets : une approche par les méta-objets. 108-119 BibTeX

Session 4: Object-oriented knowledge representation

• Isabelle Bournaud, Jean-Gabriel Ganascia: Construction de hiérarchies conceptuelles pour l'organisation de connaissances. 120-133 BibTeX
• Isabelle Crampe, Jérôme Euzenat: Fondements de la révision dans un langage d'objets simple. 134-149 BibTeX
• Marie-Pierre Chouvet, Florence Le Ber, Jean Lieber, Ludmila Mangelinck, Amedeo Napoli, Arnaud Simon: Analyse des besoins en représentation et raisonnement dans une représentation à objets - L'exemple de Y3. 150-169 BibTeX
• Yves Caseau: La définition de règles logiques sur les objets dans le langage Claire. 170-182 BibTeX

Session 5: Classification

• Roland Ducournau: Les incertitudes de la classification incertaine. 183-200 BibTeX
• Philippe Vismara: Appariements dirigés pour le raisonnement par classification sur des hiérarchies de graphes. 201-214 BibTeX

Session 6: Applications

• Timo Breidenstein, Francis Wolinski: Un modèle de representation des connaissances pour l'imputation comptable. 215-227 BibTeX

Keynote speaker

• Didier Rémy: Synthèse de types dans les langages à objets. 228-230 BibTeX

Session 7: Logic and objects

• T. Berger, T. Kessel, François Rousselot, Michael Schlick: C3L : un système qui intègre logique de description et frames. 231-246 BibTeX
• Laurent Dami: Liaison dynamique: sémantique formelle et exploitation fonctionnelle. 247-260 BibTeX
• Gilles Kassel: LCPaide: un langage de concepts et de propositions hybride. 261-274 BibTeX