Path: news.daimi.aau.dk!news-feed.inet.tele.dk!news.maxwell.syr.edu!cam-news-hub1.bbnplanet.com!news.bbnplanet.com!howland.erols.net!math.ohio-state.edu!jussieu.fr!nef.ens.fr!news From: Giuseppe Castagna Newsgroups: comp.lang.beta,comp.lang.eiffel Subject: New book on OOP theory Date: Tue, 18 Feb 1997 15:35:34 +0100 Organization: Laboratoire d'Informatique de l'Ecole Normale Superieure Lines: 83 Message-ID: <3309BE36.47B2@dmi.ens.fr> NNTP-Posting-Host: murier.ens.fr Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit X-Mailer: Mozilla 3.0Gold (X11; I; SunOS 5.5 sun4m) Xref: news.daimi.aau.dk comp.lang.beta:10971 comp.lang.eiffel:27499 [I believe that some of the users of this newsgroup may be interested to this announcement. I apologize to those who aren't] 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.