[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.