Mathematical use cases lead naturally to Non-Standard Inheritance Relationships

Conceptually there is a strong correspondence between Mathematical Reasoning and Object-Oriented techniques. We investigate how the ideas of Method Renaming, Dynamic Inheritance and Interclassing can be used to strengthen this relationship. A discussion is initiated concerning the feasibility of each of these features.

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

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

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

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

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

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

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

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

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

[10]  G. G. Stokes.  "J." , 1890, The New Yale Book of Quotations.

[11]  Michael Rosen,et al.  A classical introduction to modern number theory , 1982, Graduate texts in mathematics.

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

[13]  Carsten Maple,et al.  Object shadowing – a key concept for a modern programming language , 2004 .

[14]  S. J. Abbott,et al.  A classical introduction to modern number theory (2nd edition) , by Kenneth Ireland and Michael Rosen. Pp 394. DM 98. 1990. ISBN 3-540-97329-X (Springer) , 1992, The Mathematical Gazette.

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