Advertisement

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

Artificial Intelligence Programming Language General Unifier Laborious Technique Theorem Prove 
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.

Copyright information

© Springer-Verlag Berlin Heidelberg 1984

Authors and Affiliations

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

Personalised recommendations