Subtyping inheritance in languages for symbolic computation systems

  • Paolo Di Blasio
  • Marco Temperini
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 722)


Object-oriented programming techniques can be fruitfully applied to design languages for symbolic computation systems. Unfortunately, basic correctness problems still exist in object-oriented languages, due to the interaction between polymorphism and method redefinition. Here a mechanism of subtyping inheritance is presented, in order to propose a solution of these problems. A subtyping inheritance mechanism (Enhanced Strict Inheritance) is defined by deriving from the characteristics of a presented model of subtyping. As the base of the subtyping rule, the monotonic (or covariant) rule is chosen. Once it is supported by the programming language of a symbolic computation system, our mechanism allows for a safe treatment of polymorphism induced by inheritance.


Symbolic Computation Method Invocation Variable Access Multiple Inheritance Subtyping Relation 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [Abd86]
    S.K. Abdali, G.W. Cherry, N. Soiffer, An Object Oriented Approach to Algebra System Design, in B.W. Char (Ed.) Proc. of ACM SYMSAC '86, 1986.Google Scholar
  2. [Agr91]
    R. Agrawal, L.G. DeMichiel, B.G. Lindsay, Static Type Checking of Multi-Methods, in Proc. of OOPSLA'91, 1991.Google Scholar
  3. [Bau90]
    G. Baumgartner, R. Stansifer, A Proposal to Study Type Systems for Computer Algebra, RISC-Linz Tech. Report 90-07.0, Mar. 1990.Google Scholar
  4. [Car84]
    L. Cardelli, A Semantics of Multiple Inheritance, in Proc. of Symp. on Semantics of Data Type, LNCS 173, Springer Verlag 1984.Google Scholar
  5. [CaW85]
    L. Cardelli, P. Wegner, On Understanding types, Data Abstraction and Polymorphism, ACM Computing Surveys, Vol 17, 4, 1985.CrossRefGoogle Scholar
  6. [ChG91]
    B.W. Char, K.O. Geddes, G.H. Gonnet, B.C. Leong, M.B. Monagan, S.M. Watt, Maple V Language Reference Manual, Springer Verlag, 1991.Google Scholar
  7. [ChM92]
    I. Choi, M. Mannino, V. Tseng, Graph Interpretation of Methods: a Unifying Framework for Polymorphism in Object-Oriented Programming, OOPS Messenger, Vol 1, 2, 1992.Google Scholar
  8. [DaT88]
    S. Danforth, C. Tomlinson, Type Theories and Object-Oriented Programming, ACM Computing Surveys, Vol 20, 1, 1988.CrossRefGoogle Scholar
  9. [Hea87]
    A.C. Hearn, Reduce-3 User's Manual, Rand Corporation, S. Monica, California, USA, 1987.Google Scholar
  10. [Ghe91]
    G. Ghelli, A Static Type System for Message Passing, in Proc. of OOPSLA'91, 1991.Google Scholar
  11. [Jen92]
    R.D. Jenks, R.S. Sutor, Axiom, the scientific computation, Springer Verlag, New York, 1992.Google Scholar
  12. [LiM91]
    C. Limongelli, A. Miola, M. Temperini, Design and Implementation of Symbolic Computation Systems, in P.W. Gaffney, E.N. Houstis (Eds) Proc. IFIP TC2/WG2.5 Working Conference on Programming Environments for High Level Scientific Problem Solving, Elsevier Scientific Publisher, 1991.Google Scholar
  13. [LiT92]
    C. Limongelli, M. Temperini, Abstract Specification of Structures and Methods in Symbolic Mathematical Computation, Theoretical Computer Science, 104, 1992.Google Scholar
  14. [ReT90]
    M. Regio, M. Temperini, Type Redefinition and Polymorphism in Object Oriented Languages, in Proc. TOOLS PACIFIC, 1990.Google Scholar
  15. [Sac92]
    B. Buchberger, G.E. Collins, M.J. Encarnacion, H. Hong, J.R. Johnson, W. Krandick, R. Loos, A.M. Mandache, A. Neubacher, H. Vielhaber, SACLIB User's Guide, RISC-Linz Tech. Report, 1992.Google Scholar
  16. [Tem92]
    M. Temperini, Design and Implementation Methodologies for Symbolic Computation Systems, Ext. Abs. of Ph.d. Thesis, University “La Sapienza”, Roma, Italy, 1992.Google Scholar
  17. [Wan85]
    P. Wang, R. Pavelle, MACSYMA from F to G, J. of Symbolic Computation, 1, 1, 1985.Google Scholar
  18. [Wol91]
    S. Wolfram, Mathematica, A System for Doing Mathematics by Computer, second edition, Addison Wesley, 1991.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1993

Authors and Affiliations

  • Paolo Di Blasio
    • 1
  • Marco Temperini
    • 1
  1. 1.Dipartimento Informatica e SistemisticaUniversità “La SapienzaRomaItaly

Personalised recommendations