Advertisement

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

Execution Model Previous Chapter Unify Field Method Invocation Assignment Slot 
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.

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