[Pl-seminar] Book announcement: Foundations of OO Languages

[Kim Bruce]

I'm happy to announce the publication of my new book on the foundations 
of object-oriented programming languages:

    Foundations of Object-Oriented Programming Languages:
    Types and Semantics
    Kim B. Bruce
    The MIT Press
    Copyright 2002
    ISBN 0-262-02523-X

You can find more information about the book, including the table of 
contents, preface, and 5 downloadable sample chapters in pdf format, at 
the web site:

	http://www.cs.williams.edu/~kim/FOOPL.html

 From the publisher:

"In recent years, object-oriented programming has emerged as the 
dominant computer programming style, and object-oriented languages such 
as C++ and Java enjoy wide use in academia and industry. This text 
explores the formal underpinnings of object-oriented languages to help 
the reader understand the fundamental concepts of these languages and 
the design decisions behind them.

The text begins by analyzing existing object-oriented languages, paying 
special attention to their type systems and impediments to 
expressiveness. It then examines two key features: subtypes and 
subclasses. After a brief introduction to the lambda calculus, it 
presents a prototypical object-oriented language, SOOL, with a simple 
type system similar to those of class-based object-oriented languages in 
common use. The text offers proof that the type system is sound by 
showing that the semantics preserves typing information. It concludes 
with a discussion of desirable features, such as parametric polymorphism 
and a MyType construct, that are not yet included in most statically 
typed object-oriented languages."

The target audience for the book includes researchers, graduate 
students, and others interested in understanding the types, semantics, 
and language design issues relevant to the study of object-oriented 
languages.  Links to order the book are available from the web page 
given above.

	Kim B. Bruce
	Professor of Computer Science
	Williams College