[Prev][Next][Index][Thread]

new collection





	 Theoretical Aspects of Object-Oriented Programming:
		Types, Semantics, and Language Design

			      edited by
		 Carl A. Gunter and John C. Mitchell


A collection of articles on the above-mentioned subject is now
available from MIT Press.  (Even if you don't order a copy you should
at least take a look in the bookstore to see the cover illustration by
Luca Cardelli.)

------------------------------------------------------------------------

Theoretical Aspects of Object-Oriented Programming: Types, Semantics,
and Language Design, Carl A. Gunter and John C. Mitchell editors, MIT
Press Foundations of Computing Series, x+548 pages.

@book{GUNTER-MITCHELL94,
editor = "C. A. Gunter and J. C. Mitchell",
title = "Theoretical Aspects of Object-Oriented Programming: 
         Types, Semantics, and Language Design",
year = "1994",
publisher = "The {MIT} Press"}

------------------------------------------------------------------------

CONTENTS

Series Forward							vii

Introduction							  1

  I Objects and Subtypes

  1. User-Defined Types and Procedural Data Structures as
     Complementary Approaches to Data Abstraction		 13
     John C. Reynolds

  2. Using Category Theory to Design Implicit Conversions
     and Generic Operators					 25
     John C. Reynolds

 II Type Inference						 65

  3. Type Inference for Records in a Natural Extension of ML
     Didier Re'my						 67

  4. Type Inference for Objects with Instance Variables and
     Inheritance.
     Mitchell Wand						 97

  5. Static Type Inference for Parametric Classes
     Atsushi Ohori and Peter Buneman				121

III Coherence							149

  6. A Modest Model of Records, Inheritance and
     Bounded Quantification
     Kim Bruce and Guiseppe Longo				151

  7. Inheritance as Implicit Coercion
     Val Breazu-Tannen, Thierry Coquand, Carl A. Gunter,
     and Andre Scedrov						197

  8. Coherence of Subsumption, Minimum Typing and
     Type-Checking in F<=
     Pierre-Louis Curien and Giorgio Ghelli			247

 IV Record Calculi						293

  9. Operations on Records
     Luca Cardelli and John C. Mitchell				295

 10. Typing Record Concatenation for Free
     Didier Re'my						351

 11. Extensible Records in a Pure Calculus of Subtyping
     Luca Cardelli						373

 12. Bounded Quantification is Undecidable
     Benjamin C. Pierce						427

  V Inheritance							461

 13. Two Semantic Models of Object-Oriented Languages
     Sam Kamin and Uday Reddy					463

 14. Inheritance is Not Subtyping
     William R. Cook, Walter L. Hill and Peter S. Canning	497

 15. Toward a Typed Foundation for Method Specialization 
     and Inheritance
     John C. Mitchell						519

Contributors							547

------------------------------------------------------------------------

ABSTRACT FROM THE INTRODUCTION

This volume comprises fifteen chapters, by selected authors, on
theoretical aspects of object-oriented programming languages.  The
focus is on type systems and semantic models, and how advances in
these areas can contribute to new language designs.  The collection is
divided into five parts: Objects and Subtypes, Type Inference,
Coherence, Record Calculi, Inheritance.  The chapters are organized
approximately in order of increasing complexity of the language
constructs they consider.  Put briefly, the collection begins with
variations on Pascal- and Algol-like languages, develops the theory of
illustrative record object models, and concludes with research
directions for developing a more comprehensive theory of
object-oriented programming languages.

Part I discusses the similarities and differences between OBJECTS and
algebraic-style abstract data types, and address general problems
associated with subtyping (or subclasses) in the presence of
operations that may be applied to objects of more than one type.

Parts II--IV, which form the core of the collection, are concerned
with what may be called the RECORD MODEL of object-oriented
languages. More specifically, these chapters discuss static and
dynamic semantics of languages with simple object models that include
a type or class hierarchy, but do not explicitly provide what is often
called DYNAMIC BINDING or DYNAMIC METHOD LOOKUP.  Part II develops the
record model incrementally, beginning with a simple extension of the
record operations from the language ML.  The denotational semantics of
these languages are considered in Part III, with more elaborate record
object models and more precise connections with object-oriented
methodology developed in Part IV.

Extensions and modifications to record object models are considered in
Part V.  These chapters bring us closer to the full complexity of
practical object-oriented languages.  However, the complete
theoretical underpinnings of the language features discussed in Part V
remain a topic for future research.

------------------------------------------------------------------------

OBTAINING A COPY

Available from bookstores or directly from The MIT Press.

Price: $45.00 Cloth
ISBN: 0-262-07155-X

For orders in the US, please contact:
     The MIT Press
     55 Hayward Street
     Cambridge, MA  02142-1399
     Phone:  +1 (617) 625-8569
     Fax:    +1 (617) 625-6660
     E-mail: <mitpress-orders@mit.edu>
             <mitpress-orders-inq@mit.edu> for Customer Service

For orders and inquiries in the UK, Eire, and continental Europe, please
contact our London office:
     The MIT Press
     Fitzroy House
     11 Chenies Street
     London WC1E 7ET,  England
     Phone:  +44 (071) 306-0603
     Fax:    +44 (071) 306-0604
     E-mail: <100315.1423@compuserve.com>

In Australia, please contact our distributor:
     Astam Books
     57-61 John Street
     Leichhardt,  NSW 2040
     Phone: (02) 566-4400
     Fax:   (02) 566-4411

In all other countries, please contact:
     International Department
     The MIT Press
     55 Hayward Street
     Cambridge, MA  02142
     Phone: +1 (617) 253-2887
     Fax:   +1 (617) 253-1709
     E-mail: <curtin@mit.edu>

Please note that prices may be higher outside the US.