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:
Online Access:Connect to the full text of this electronic book
Search Result 1
by Abadi, Martín
Published 1996
Book