Signatures: A Language Extension for Improving Type Abstraction and Subtype Polymorphism in C++

@article{Baumgartner1995SignaturesAL,
  title={Signatures: A Language Extension for Improving Type Abstraction and Subtype Polymorphism in C++},
  author={Gerald Baumgartner and Vincent F. Russo},
  journal={Softw., Pract. Exper.},
  year={1995},
  volume={25},
  pages={863-889}
}
c++ uscs inheritance as a substitute for subtype polymorphism. We give examples where this makes tbe type system too inflexible. We then describe a conservative language extension 1.1111.1 allows a programmer to define an abstract. type hierarchy independent of any implementation hierarchies, to retroactively abstract over an implementation, and to decouple subtyping from inheritance. This extension gives the user more of the flexibility of dynamic typing while retaining the efficiency and… CONTINUE READING

From This Paper

Topics from this paper.

References

Publications referenced by this paper.
Showing 1-10 of 24 references

Pinter , and Eugen Schenfeld . Type matching , type - graphs , and the Schanuel conjecture

  • Jacob Katzenelson, S Shlomit
  • Jenks and Robert S . Sutor . AXIOM : The…
  • 1992

Macqueen . An implementation of Standard ML modules

  • Robin Milner, Mads Torte
  • Proceedings of the 1988 ACM Conference on Lisp…
  • 1991

The Scratchpad II type system : Domains and subdomains

  • Alfonso M. Miola
  • 1990

A Small talk system for algebraic manipulation

  • S. Kamal Abdali, Guy W. Cherry, Neil SoiITer
  • In Proceedings of the OOPSLA '86 Confcrence on…
  • 1986
1 Excerpt

Similar Papers

Loading similar papers…