Enriching the Object-Oriented Paradigm via Shadows in the Context of Mathematics

It is well-known that few object-oriented programming languages allow objects to change their nature at run-time. In this paper we discuss the need for object-oriented programming languages to reflect the dynamic nature of problems, particularly those arising in a mathematical context. It is from this context that we present a framework, together with a Java-like implementation of that framework, that realistically represents the dynamic and evolving characteristic of problems and algorithms.

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

[2]  R. Tennant.  Algebra , 1941, Nature.

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

[4]  Carsten Maple,et al.  Mathematical use cases lead naturally to Non-Standard Inheritance Relationships , 2004 .

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

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

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

[8]  Stephen Morris.  Introduction to Object-Oriented Programming , 1994 .

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

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

[11]  Mariangiola Dezani-Ciancaglini,et al.  Re-classification and multi-threading: FickleMT , 2004, SAC '04.

[12]  정인기,et al.  [서평]「Applying UML and Patterns - An Introduction to Object-Oriented Analysis and Design」 , 1998 .

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

[14]  K. Beck,et al.  Extreme Programming Explained , 2002 .

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

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