A Theory of Objects /

Procedural languages are generally well understood and their formal foundations cast in the forms of various lambda-calculi. For object- oriented languages however the situation is not as clear-cut. In this book the authors propose and develop a different approach by developing object calculi in whi...

Full description

Bibliographic Details

Main Author:	Abadi, Martín
Corporate Author:	SpringerLink (Online service)
Other Authors:	Cardelli, Luca
Format:	eBook
Language:	English
Published:	New York, NY : Springer New York, 1996.
Series:	Monographs in computer science.
Subjects:	Computer science. Electronic books.
Online Access:	Connect to the full text of this electronic book