Modeling Object-Oriented Languages

  • Martín Abadi
  • Luca Cardelli
Part of the Monographs in Computer Science book series (MCS)

Abstract

In the previous chapters we have presented a relatively unbiased description of a large (although not exhaustive) collection of object-oriented features. We now begin to discuss our way of modeling those features.

Keywords

Dispatch Tame Culi 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer Science+Business Media New York 1996

Authors and Affiliations

  • Martín Abadi
    • 1
  • Luca Cardelli
    • 1
    • 2
  1. 1.Systems Research CenterDigital Equipment CorporationPalo AltoUSA
  2. 2.Microsoft ResearchCambridgeUK

Personalised recommendations