Object-Oriented Type Systems

2 avg rating
( 1 ratings by Goodreads )
 
9780471941286: Object-Oriented Type Systems
View all copies of this ISBN edition:
 
 

Object-Oriented Type Systems Jens Palsberg and Michael I. Schwartzbach Aarhus University, Denmark Type systems are required to ensure reliability and efficiency of software. For object-oriented languages, typing is an especially challenging problem because of inheritance, assignment, and late binding. Existing languages employ different type systems, and it can be difficult to compare, evaluate and improve them, since there is currently no uniform theory for such languages. This book provides such a theory. The authors review the type systems of Simula, Smalltalk, C++ and Eiffel and present a type system that generalizes and explains them. The theory is based on an idealized object-oriented language called BOPL (Basic Object Programming Language), containing common features of the above languages. A type system, type inference algorithm, and typings of inheritance and genericity are provided for BOPL. Throughout, the results are related to the languages on which BOPL is based. This text offers advanced undergraduates and professional software developers a sound understanding of the key aspects of object-oriented type systems. All algorithms are implemented in a freely available workbench, adding enormous practical value. Numerous exercises and a clear writing style will enhance its appeal to the student.

"synopsis" may belong to another edition of this title.

From the Publisher:

A detailed presentation of a specific object-oriented language which offers a framework for evaluating the language as well as a source of information about other languages. Surveys problems faced by designers of an object-oriented type system and reviews existing solutions. Defines an idealized language--BOPL (Basic Object Programming Language)--that encompasses common features of SIMULA, SMALLTALK, C++ and EIFFEL. Includes a workbench where algorithms such as type checking and type inference are implemented. Each chapter contains several exercises and suggestions for further readings.

"About this title" may belong to another edition of this title.

Top Search Results from the AbeBooks Marketplace

1.

Jens Palsberg; Michael I. Schwartzbach
Published by Wiley (1994)
ISBN 10: 047194128X ISBN 13: 9780471941286
New Softcover First Edition Quantity Available: 1
Seller:
Irish Booksellers
(Portland, ME, U.S.A.)
Rating
[?]

Book Description Wiley, 1994. Condition: New. book. Seller Inventory # M047194128X

More information about this seller | Contact this seller

Buy New
US$ 74.66
Convert Currency

Add to Basket

Shipping: FREE
Within U.S.A.
Destination, Rates & Speeds

2.

Palsberg, Jens, Schwartzbach, Michael I.
Published by Wiley (1994)
ISBN 10: 047194128X ISBN 13: 9780471941286
New Paperback Quantity Available: 2
Seller:
Murray Media
(North Miami Beach, FL, U.S.A.)
Rating
[?]

Book Description Wiley, 1994. Paperback. Condition: New. Never used!. Seller Inventory # P11047194128X

More information about this seller | Contact this seller

Buy New
US$ 100.92
Convert Currency

Add to Basket

Shipping: FREE
Within U.S.A.
Destination, Rates & Speeds

3.

Jens Palsberg, Michael I. Schwartzbach
Published by John Wiley & Sons (1994)
ISBN 10: 047194128X ISBN 13: 9780471941286
New Paperback Quantity Available: 1
Seller:
Ergodebooks
(RICHMOND, TX, U.S.A.)
Rating
[?]

Book Description John Wiley & Sons, 1994. Paperback. Condition: New. 1. Seller Inventory # DADAX047194128X

More information about this seller | Contact this seller

Buy New
US$ 132.83
Convert Currency

Add to Basket

Shipping: US$ 3.99
Within U.S.A.
Destination, Rates & Speeds

4.

Palsberg, Jens; Schwartzbach, Michael I.
Published by Wiley
ISBN 10: 047194128X ISBN 13: 9780471941286
New PAPERBACK Quantity Available: 1
Seller:
Cloud 9 Books
(Wellington, FL, U.S.A.)
Rating
[?]

Book Description Wiley. PAPERBACK. Condition: New. 047194128X New Condition. Seller Inventory # NEW7.1820450

More information about this seller | Contact this seller

Buy New
US$ 251.57
Convert Currency

Add to Basket

Shipping: US$ 4.99
Within U.S.A.
Destination, Rates & Speeds