Overloaded Operators

  • Alan Bundy
  • Lincoln Wallen
Part of the Symbolic Computation book series (SYMBOLIC)

Abstract

Overloading is a term used to refer to the use of the same name to refer to operations on different types of data. For example the operation + is overloaded in most programming languages to mean both addition of integers and reals. Overloading allows familiar symbols to be used and reduces verbosity, although program transformation is expedited if the usual algebraic laws associated with a symbol are preserved when it is overloaded. Thus + and * should be used over a ring rather than a lattice.

Keywords

Alan 

Copyright information

© Springer-Verlag Berlin Heidelberg 1984

Authors and Affiliations

  • Alan Bundy
    • 1
  • Lincoln Wallen
  1. 1.Department of Artificial IntelligenceEdinburgh UniversityEdinburghScotland

Personalised recommendations