P. Ciprian-bogdan-chirila, P. Crescenzo, and . Lahire, Towards reengineering: An approach based on reverse inheritance. Application to Java, 2003.

M. Dao, M. Huchard, T. Libourel, and C. Roume, Evaluating and optimizing factorization in inheritance hierarchies, Proceedings of the Inheritance Workshop at ECOOP 2002, 2002.

H. Peter and . Frohlich, Inheritance decomposed, Proceedings of the Inheritance Workshop at ECOOP 2002, 2002.

T. Lawson, C. Hollinshead, and M. Qutaishat, The potential for reverse type inheritance in Eiffel, Technology of Object-Oriented Languages and Systems (TOOLS'94), 1994.

F. William, R. E. Opdyke, and . Johnson, Creating abstract superclasses by refactoring, 1993.

C. H. Pedersen, Extending ordinary inheritance schemes to include generalization, Conference proceedings on Object-oriented programming systems, languages and applications, pp.407-417, 1989.

M. Sakkinen, Exheritance -Class Generalization Revived, Proceedings of the Inheritance Workshop at ECOOP 2002, 2002.

A. Moormann, Z. , and J. M. Wing, Signature matching: A tool for using software libraries, ACM Transactions on Software Engineering and Methodology, vol.4, issue.2, pp.146-170, 1995.

M. Conrad, Abstract Classes -pure computer science meets pure mathematics, Seminar talk, 2003.

M. Conrad and T. French, Exploring the synergies between the object oriented paradigm and mathematics: a Java led approach, International Journal of Mathematical Education in Science and Technology, vol.35, issue.5
DOI : 10.1080/00207390110087156

T. Daly, Axiom Computer Algebra System

M. Conrad, com.perisic.ring ? A Java package for multivariate polynomials

C. Maple, M. Conrad, and T. French, A Novel Flexible Approach to Document Encryption Using a MathML Extension to the W3C XML Digital Certificate Standard, Proceedings of the IADIS International Conference on e-Society, 2003.

B. Meyer, Overloading vs. Object Methodology, Journal of Object-Oriented Programming, 2001.

J. Hylton, Introduction to Object-Oriented Programming in Python (Outline), 2000.

K. Ireland and M. Rosen, A Classical Introduction to Modern Number Theory, 1995.

J. Coplien, Advanced C++ Programming Styles and Idioms, Proceedings. Technology of Object-Oriented Languages and Systems, TOOLS 25 (Cat. No.97TB100239), 1992.
DOI : 10.1109/TOOLS.1997.681881

C. Chambers, Predicate Classes, Proceedings of the ECOOP'93, pp.268-296, 1993.
DOI : 10.1007/3-540-47910-4_15

C. Chambers, The Cecil Language: Specification & Rationale, avialable at

S. Drossopoulou, F. Damiani, M. Dezani-ciancaglini, and P. Giannini, More dynamic object reclassification: Fickle, ECOOP'01, pp.130-149, 2001.
DOI : 10.1145/514952.514955

D. Acnona, C. Anderson, F. Damiani, S. Drossopoulou, P. Giannini et al., A type preserving translation of Fickle into Java Available at, Electronic Notes in Theoretical Computer Science, vol.62, 2001.

M. Conrad, T. French, C. Maple, and S. Pott, Approaching Inheritance from a " Natural " Mathematical Perspective and from a Java driven viewpoint: a Comparative Review

M. Essén, L. Janson, J. Peng, and . Xiao, Q spaces of several real variables, Indiana University Mathematics Journal, vol.49, issue.2, pp.575-615, 2000.
DOI : 10.1512/iumj.2000.49.1732

P. Rapicault and A. Napoli, Evolution d'une hirarchie de classes par interclassement, 2001.

P. Crescenzo and P. Lahire, Using Both Specialisation and Generalisation in a Programming Language: Why and How? In: Advances in Object-Oriented Information Sytems, OOIS 2002 Workshops, pp.64-73, 2002.

M. Conrad, T. French, and C. Maple, Object Shadowing -a Key Concept for a Modern Programming Language, Submission to the 2nd Workshop on Object-Oriented Language Engineering for the Post-Java Era: Back to Dynamicity, 2004.

M. Conrad, The com.perisic.shadow package

K. Thirunarayan, G. Kniesel, and H. Hampapuram, Simulating multiple inheritance and generics in Java, Computer Languages, vol.25, issue.4, pp.189-210, 1999.
DOI : 10.1016/S0096-0551(00)00005-9

M. Malak, Simulating Multiple Inheritance, Journal of Object-Oriented Programming, pp.3-5, 2001.

Y. Crespo, J. Marqù, and J. Rodriguez, On the Translation of Multiple Inheritance Hierarchies into Single Inheritance Hierarchies, Proceedings of the Inheritance Workshop at ECOOP 2002, pp.30-37, 2002.

C. Roume, Going from Multiple to Single Inheritance with Metrics, Proceedings of the sixth ECOOP workshop on Quantitative Approaches in Object Oriented Software Engineering, pp.30-37, 2002.

M. Dao, M. Huchard, T. Libourel, and A. Pons, Extending the Notation for Specialization/Generalization, Proceedings of MASPEGHI'03, pp.61-67, 2003.
URL : https://hal.archives-ouvertes.fr/lirmm-00269739

J. Rumbaugh, M. Blaha, W. Premerlani, F. Eddy, and W. Lorensen, Object Oriented Modeling and Design, pp.15-84, 1991.

M. Torgersen, The expression problem revisited ? four new solutions using generics, 2004.

S. Krishnamurthi, M. Felleisen, and D. P. Friedman, Synthesizing ojbect-oriented and functional design to promote re-use, Proceedings ECOOP'98, pp.91-113, 1998.

E. Ernst, Higher-Order Hierarchies, Proceedings ECOOP 2003 LNCS 2743, pp.303-329, 2003.
DOI : 10.1007/978-3-540-45070-2_14

M. Zenger and M. Odersky, Independently extensible solutions to the expression problem, 2004.

N. Schärli, S. Ducasse, O. Nierstrasz, and A. P. Black, Traits: Composable Units of Behaviour, Proceedings of ECOOP 2003 -European Conference on Object-Oriented Programming, 2003.
DOI : 10.1007/978-3-540-45070-2_12

G. Kiczales, E. Hilsdale, J. Hugunin, M. Kersen, J. Palm et al., An Overview of AspectJ, Proceedings European Conference on Object-Oriented Programming, pp.327-353, 2001.
DOI : 10.1007/3-540-45337-7_18

S. Microsystems, Download Java 2 Platform, Standard Edition 1.5.0 Beta 1, 2004.

T. Copeland, Detecting duplicate code with PMD's CPD, 2003.

R. M. Karp and M. O. Rabin, Efficient randomized pattern-matching algorithms, IBM Journal of Research and Development, vol.31, issue.2, pp.249-260, 1987.
DOI : 10.1147/rd.312.0249

A. P. Black, N. Schärli, and S. Ducasse, Applying traits to the smalltalk collection classes, Proceedings of the 18th ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, pp.47-64, 2003.

I. Mirbel and J. Cavarero, An integration method for design schemas, Conference on Advanced Information Systems Engineering, pp.457-475, 1996.
DOI : 10.1007/3-540-61292-0_25

N. Noy and M. Musen, Promptdiff: A fixed-point algorithm for comparing ontology versions, Proc. 18th AAAI, 2002.

H. Ossher and P. Tarr, Using multidimensional separation of concerns to (re)shape evolving software, Communications of the ACM, vol.44, issue.10, pp.43-50, 2001.
DOI : 10.1145/383845.383856

B. Ganter and R. Wille, Formal Concept Analysis, Mathematical Foundations, 1999.

. Object-management-group and . Inc, OMG Unified Modeling Language Specification, version 1, 2003.

M. Huchard, C. Roume, and P. Valtchev, When concepts point at other concepts: the case of uml diagram reconstruction, Proceedings of the 2nd Workshop on Advances in Formal Concept Analysis for Knowledge Discovery in Databases (FCAKDD), pp.32-43, 2002.
URL : https://hal.archives-ouvertes.fr/lirmm-00268457

P. Valtchev, M. H. Rouane, M. Huchard, and C. Roume, Extracting Formal Concepts out of Relational Data, Proceedings of the 4th Intl. Conference Journées de l'Informatique Messine (JIM'03): Knowledge Discovery and Discrete Mathematics, pp.3-6, 2003.
URL : https://hal.archives-ouvertes.fr/lirmm-00269740

J. Guigues and V. Duquenne, Familles minimales d'implications informatives résultant d'un tableau de données binaires, Mathématiques et Sciences Humaines 95, pp.5-18, 1986.

B. Ganter, Attribute exploration with background knowledge, Theoretical Computer Science, vol.217, issue.2, pp.215-233, 1999.
DOI : 10.1016/S0304-3975(98)00271-0

M. Dao, M. Huchard, M. H. Rouane, C. Roume, and P. Valtchev, Improving Generalization Level in UML Models Iterative Cross Generalization in Practice, Proceedings of the 12th International Conference on Conceptual Structures, 2004.
DOI : 10.1007/978-3-540-27769-9_23

URL : https://hal.archives-ouvertes.fr/lirmm-00108858

M. Lafourcade and V. Prince, Relative synonymy and conceptual vectors, Proceedings of NLPRS2001, pp.127-134, 2001.

G. Blashek, Object-Oriented Programming with Prototypes, 1994.

W. and D. Meuter, Agora: The Scheme of Object-Orientation, or, the Simplest MOP in the World, Prototype-based Programming: Concepts, Languages and Applications, 1998.

C. Dony, J. Malenfant, and D. Bardou, Classifying Prototype-based Programming Languages, Prototype-based Programming: Concepts, Languages and Applications, 1998.

M. Fowler, Dealing with Roles Collected papers from the PLoP '97 and EuroPLoP '97 Conference, 1997.

A. Goldberg and D. Robson, Smalltalk-80: The Language and Its Implementation, 1983.

H. Lieberman, Using prototypical objects to implement shared behavior in object oriented systems, Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA), pp.214-223, 1987.

R. Smith and D. Ungar, Programming as an Experience: The Inspiration for Self, Prototype-based Programming: Concepts, Languages and Applications, 1998.
DOI : 10.1007/3-540-49538-X_15

W. Smith, NewtonScript: Prototypes on the Palm, Prototypebased Programming: Concepts, Languages and Applications, 1998.

A. Taivalsaari, A Critical View of Inheritance and Reusability in Object-oriented Programming, 1993.

D. Ungar and R. Smith, Self: The Power of Simplicity, Proceedings of the ACM Conference on Object- Oriented Programming Systems, Languages, and Applications (OOPSLA), 1987.

D. Ungar, C. Chambers, B. Chang, and U. Holzle, Organizing programs without classes, Lisp and Symbolic Computation, pp.223-242, 1991.
DOI : 10.1007/BF01806107