MASPEGHI 2004 Mechnisms for Specialization, Generalization and Inheritance

MASPEGHI 2004 is the third edition of the MASPEGHI workshop. This year the organizers of both the ECOOP 2002 Inheritance Workshop and MASPEGHI 2003 came together to enlarge the scope of the workshop and to address new challenges. We succeeded in gathering a diverse group of researchers and practitioners interested in mechanisms for managing specialization and generalization of programming language components. The workshop contained a series of presentations with discussions as well as group work, and the interplay between the more than 22 highly skilled and inspiring people from many different communities gave rise to fruitful discussions and the potential for continued collaboration.

[1]  I. G. BONNER CLAPPISON.  Editor , 1960, The Electric Power Engineering Handbook - Five Volume Set.

[2]  Malcolm J. Bowman,et al.  Proceedings of the Workshop , 1978 .

[3]  H. Triebel.  Theory Of Function Spaces , 1983 .

[4]  David Robson,et al.  Smalltalk-80: The Language and Its Implementation , 1983 .

[5]  Gordon Plotkin,et al.  Semantics of Data Types , 1984, Lecture Notes in Computer Science.

[6]  Luca Cardelli,et al.  On understanding types, data abstraction, and polymorphism , 1985, CSUR.

[7]  Vincent Duquenne,et al.  Familles minimales d'implications informatives résultant d'un tableau de données binaires , 1986 .

[8]  Henry Lieberman,et al.  Using prototypical objects to implement shared behavior in object-oriented systems , 1986, OOPLSA '86.

[9]  Randall B. Smith,et al.  SELF: The power of simplicity , 1987, OOPSLA '87.

[10]  Richard M. Karp,et al.  Efficient Randomized Pattern-Matching Algorithms , 1987, IBM J. Res. Dev..

[11]  Luca Cardelli,et al.  A Semantics of Multiple Inheritance , 1984, Information and Computation.

[12]  Luca Cardelli,et al.  Structural subtyping and the notion of power type , 1988, POPL '88.

[13]  簡聰富,et al.  物件導向軟體之架構(Object-Oriented Software Construction)探討 , 1989 .

[14]  William R. Cook,et al.  A denotational semantics of inheritance , 1989 .

[15]  Claus H. Pedersen,et al.  Extending ordinary inheritance schemes to include generalization , 1989, OOPSLA '89.

[16]  William R. Cook,et al.  Mixin-based inheritance , 1990, OOPSLA/ECOOP '90.

[17]  Craig Chambers,et al.  Organizing programs without classes , 1991, LISP Symb. Comput..

[18]  William E. Lorensen,et al.  Object-Oriented Modeling and Design , 1991, TOOLS.

[19]  Gilad Bracha,et al.  The programming language jigsaw: mixins, modularity and multiple inheritance , 1992 .

[20]  Markku Sakkinen,et al.  A Critique of the Inheritance Principles of C++ , 1992, Comput. Syst..

[21]  Clemens A. Szyperski,et al.  Import is Not Inheritance - Why We Need Both: Modules and Classes , 1992, ECOOP.

[22]  Gilad Bracha,et al.  Modularity meets inheritance , 1992, Proceedings of the 1992 International Conference on Computer Languages.

[23]  William R. Cook.  Interfaces and specifications for the Smalltalk-80 collection classes , 1992, OOPSLA 1992.

[24]  Marie-Laure Mugnier,et al.  Monotonic conflict resolution mechanisms for inheritance , 1992, OOPSLA 1992.

[25]  Hafedh Mili,et al.  Building and maintaining analysis-level class hierarchies using Galois Lattices , 1993, OOPSLA '93.

[26]  Ralph E. Johnson,et al.  Creating abstract superclasses by refactoring , 1993, CSC '93.

[27]  Craig Chambers,et al.  Predicate Classes , 1993, ECOOP.

[28]  Franz J. Hauck,et al.  Inheritance modeled with explicit bindings: an approach to typed inheritance , 1993, OOPSLA '93.

[29]  D. B. Davis,et al.  Sun Microsystems Inc. , 1993 .

[30]  Jens Palsberg,et al.  Analysis of Objects with Dynamic and Multiple Inheritance , 1993 .

[31]  Jens Palsberg,et al.  Type Inference of SELF , 1993, ECOOP.

[32]  Günther Blaschek,et al.  Object-oriented programming - with prototypes , 1994 .

[33]  Ted Lawson,et al.  The Potential For Reverse Type Inheritance in Eiffel , 1994, TOOLS.

[34]  Ralph Johnson,et al.  design patterns elements of reusable object oriented software , 2019 .

[35]  Marie-Laure Mugnier,et al.  Proposal for a Monotonic Multiple Inheritance Linearization , 1994, OOPSLA.

[36]  Jeannette M. Wing,et al.  Signature matching: a tool for using software libraries , 1995, TSEM.

[37]  Randall B. Smith,et al.  Programming as an Experience: The Inspiration for Self , 1995, ECOOP.

[38]  Isabelle Mirbel,et al.  An Integration Method for Design Schemas , 1996, CAiSE.

[39]  James Coplien,et al.  Advanced C++ Programming Styles and Idioms , 1991, Proceedings. Technology of Object-Oriented Languages and Systems, TOOLS 25 (Cat. No.97TB100239).

[40]  Bertrand Meyer,et al.  Object-Oriented Software Construction, 2nd Edition , 1997 .

[41]  Matthias Felleisen,et al.  Synthesizing Object-Oriented and Functional Design to Promote Re-Use , 1998, ECOOP.

[42]  Jack Trout,et al.  The Power Of Simplicity , 1998 .

[43]  Rokia Missaoui,et al.  Design of Class Hierarchies Based on Concept (Galois) Lattices , 1998, Theory Pract. Object Syst..

[44]  Matthias Felleisen,et al.  Classes and mixins , 1998, POPL '98.

[45]  Krishnaprasad Thirunarayan,et al.  Simulating multiple inheritance and generics in Java , 1999, Comput. Lang..

[46]  Bernhard Ganter,et al.  Attribute Exploration with Background Knowledge , 1999, Theor. Comput. Sci..

[47]  Erik Ernst.  gbeta - a Language with Virtual Attributes, Block Structure, and Propagating, Dynamic Inheritance , 2000 .

[48]  Amedeo Napoli,et al.  Objects and Classification , 2000, ECOOP Workshops.

[49]  Svante Janson,et al.  Q spaces of several real variables , 2000 .

[50]  João Costa Seco,et al.  A Basic Model of Typed Components , 2000, ECOOP.

[51]  Elisa Bertino,et al.  ECOOP 2000 — Object-Oriented Programming , 2000, Lecture Notes in Computer Science.

[52]  Frank Tip,et al.  Class hierarchy specialization , 2000, Acta Informatica.

[53]  Günter Kniesel,et al.  Dynamic object-based inheritance with subtyping , 2000 .

[54]  Amedeo Napoli,et al.  Objects and Classification: A Natural Convergence , 2000 .

[55]  William G. Griswold,et al.  An Overview of AspectJ , 2001, ECOOP.

[56]  Sophia Drossopoulou,et al.  Fickle : Dynamic Object Re-classification , 2001, ECOOP.

[57]  Amedeo Napoli,et al.  Évolution d'une hiérarchie de classes par interclassement , 2001 .

[58]  Davide Ancona,et al.  A type preserving translation of Fickle into Java , 2001, Electron. Notes Theor. Comput. Sci..

[59]  Mathieu Lafourcade,et al.  Relative Synonymy and Conceptual Vectors , 2001, NLPRS.

[60]  Harold Ossher,et al.  Using multidimensional separation of concerns to (re)shape evolving software , 2001, CACM.

[61]  Roland Ducournau,et al.  "Real World" as an Argument for Covariant Specialization in Programming and Modeling , 2002, OOIS Workshops.

[62]  Zohra Bellahsene,et al.  Advances in Object-Oriented Information Systems , 2002, Lecture Notes in Computer Science.

[63]  T. Oplustil,et al.  Inheritance in SOFA components , 2002 .

[64]  Yania Crespo,et al.  On the Translation of Multiple Inheritance Hierarchies into Single Inheritance Hierarchies , 2002 .

[65]  Philippe Lahire,et al.  Using Both Specialisation and Generalisation in a Programming Language: Why and How? , 2002, OOIS Workshops.

[66]  Mark A. Musen,et al.  Promptdiff: a fixed-point algorithm for comparing ontology versions , 2002, AAAI/IAAI.

[67]  Michael Schrefl,et al.  Behavior-consistent specialization of object life cycles , 2002, TSEM.

[68]  Zohra Bellahsene,et al.  Advances in Object-Oriented Information Systems : OOIS 2002 Workshops, Montpellier, France, September 2, 2002 : proceedings , 2002 .

[69]  Frantisek Plasil,et al.  Behavior Protocols for Software Components , 2002, IEEE Trans. Software Eng..

[70]  Evaluating and Optimizing Factorization in Inheritance Hierarchies , 2002 .

[71]  Nathanael Schärli,et al.  Applying traits to the smalltalk collection classes , 2002, OOPSLA '03.

[72]  T. Oplustil.  Inheritance in Architecture Description Languages , 2003 .

[73]  Carsten Maple,et al.  A novel flexible approach to document encryption using an MathML extension to the W3C XML Digital Certificate Standard , 2003 .

[74]  Luca Cardelli,et al.  ECOOP 2003 – Object-Oriented Programming , 2003, Lecture Notes in Computer Science.

[75]  M. Huchard,et al.  Extending the Notation for Specialization / Generalization Proposal for a Discussion Group , 2003 .

[76]  Zoltán Porkoláb,et al.  An Extension to the Subtype Relationship in C++ Implemented with Template Metaprogramming , 2003, GPCE.

[77]  Marianne Huchard,et al.  Extracting Formal Concepts out of Relational Data , 2003 .

[78]  Philippe Lahire,et al.  TOWARDS REENGINEERING: AN APPROACH BASED ON REVERSE INHERITANCE - APPLICATION TO JAVA , 2003 .

[79]  Oscar Nierstrasz,et al.  Traits: Composable Units of Behaviour , 2002, ECOOP.

[80]  Erik Ernst,et al.  Higher-Order Hierarchies , 2003, ECOOP.

[81]  Editors , 2003 .

[82]  Mads Torgersen.  The Expression Problem Revisited , 2004, ECOOP.

[83]  Ellen Van Paesschen-Wolfgang De Meuter-Theo D’Hondt.  Domain Modeling in Self Yields Warped Hierarchies , 2004 .

[84]  Martin Odersky,et al.  Independently Extensible Solutions to the Expression Problem , 2004 .

[85]  Stéphane Ducasse,et al.  2nd Workshop on Object-Oriented Language Engineering for the Post-Java Era: Back to Dynamicity , 2004, ECOOP Workshops.

[86]  M. Conrad,et al.  Exploring the synergies between the object oriented paradigm and mathematics: a Java led approach , 2004 .

[87]  Martin Odersky.  ECOOP 2004 – Object-Oriented Programming , 2004, Lecture Notes in Computer Science.

[88]  L. Robert Varney,et al.  Interface-Oriented Programming , 2004 .

[89]  Mads Torgersen.  The expression problem revisited: Four new solutions using generics , 2004 .

[90]  Marianne Huchard,et al.  Improving Generalization Level in UML Models Iterative Cross Generalization in Practice , 2004, ICCS.

[91]  T. Coupaye.  The Fractal Component Model , 2004 .