[Prev][Next][Index][Thread]
BOOK ANNOUNCEMENT
[ Please feel free to re-distribute this announcement to
any colleagues who may be interested. We apologize in
advance for multiple receptions of this announcement ]
BOOK ANNOUNCEMENT
Progress in Theoretical Computer Science series.
------------------------------------------------------
------------------------------------------------------
OBJECT-ORIENTED PROGRAMMING: A UNIFIED FOUNDATION
by Giuseppe Castagna
------------------------------------------------------
------------------------------------------------------
Details about the book including
- The Foreword (by Luca Cardelli)
- The table of contents
- A presentation of the book
- Price and ordering information
- Pointers to related publications
are available at:
http://www.dmi.ens.fr/~castagna/book.html
Information can be obtained from the publisher, as well:
(for North America)
Birkhauser Boston
675 Massachussetts Avenue
Cambridge, Massachussetts 02139
Email: info@birkhauser.com
http://www.birkhauser.com
(outside North America)
Birkhuser Verlag AG
Klosterberg 23,
P.O. Box 133, CH-4010
Basel, Switzerland
Email:farnik@birkhauser.ch
http://www.birkhauser.ch
------------------------------------------------------
>From the back cover:
The language Simula is the precursor of all
object-oriented languages. This language imposed a
certain style of programming that was followed by all
class-based object-oriented languages until the
appearance of the so-called multiple-dispatching
languages, like CLOS, in which a different style of
object-oriented programming arose.
Although much work has been done to define a theory of
object-oriented languages, efforts have concentrated
mostly on languages that follow Simula's style,
ignoring multiple-dispatching languages. This book
fills the gap. It elucidates object-oriented concepts,
facilitate comparisons of these two different styles
of programming and sheds new light on some
long-standing problems concerning, for example, the
use of covariance and contravariance, or the typing of
binary methods.
This book also shows that it is possible to smoothly
integrate both Simula's and CLOS's styles of
programming into a single language. The book is
self-contained and does not assume any expertise in
object-oriented programming or type theory. It will
be consulted by professional computer scientists
interested in the theory of programming and can serve
as the text for a variety of advanced courses in type
theory of object-oriented programming.
Claudia Farnik
- Promotion -
............................
BIRKHAEUSER PUBLISHING LTD.
TEL. +41 61 205 07 39
FAX. +41 61 205 07 92
E-MAIL: farnik@birkhauser.ch
............................