Matches in Harvard for { <http://id.lib.harvard.edu/aleph/007892677/catalog> ?p ?o. }
Showing items 1 to 21 of
21
with 100 items per page.
- catalog abstract ""Procedural languages are generally well understood. Their foundations have been cast in calculi that prove useful in matters of implementation and semantics. So far, an analogous understanding has not emerged for object-oriented languages." "In this book the authors take a novel approach to the understanding of object-oriented languages by introducing object calculi and developing a theory of objects around them. The book covers both the semantics of objects and their typing rules, and explains a range of object-oriented concepts, such as self, dynamic dispatch, classes, inheritance, prototyping, subtyping, covariance and contravariance, and method specialization." "Researchers and graduate students will find this an important development of the underpinnings of object-oriented programming."--BOOK JACKET.".
- catalog contributor b10931142.
- catalog contributor b10931143.
- catalog created "c1996.".
- catalog date "1996".
- catalog date "c1996.".
- catalog dateCopyrighted "c1996.".
- catalog description ""Procedural languages are generally well understood. Their foundations have been cast in calculi that prove useful in matters of implementation and semantics. So far, an analogous understanding has not emerged for object-oriented languages." "In this book the authors take a novel approach to the understanding of object-oriented languages by introducing object calculi and developing a theory of objects around them. The book covers both the semantics of objects and their typing rules, and explains a range of object-oriented concepts, such as self, dynamic dispatch, classes, inheritance, prototyping, subtyping, covariance and contravariance, and method specialization." "Researchers and graduate students will find this an important development of the underpinnings of object-oriented programming."--BOOK JACKET.".
- catalog description "Includes bibliographical references (p. [383]-390) and index.".
- catalog extent "xiii, 396 p. :".
- catalog identifier "0387947752 (hardcover : alk. paper)".
- catalog isPartOf "Monographs in computer science".
- catalog issued "1996".
- catalog issued "c1996.".
- catalog language "eng".
- catalog publisher "New York : Springer,".
- catalog subject "005.13/1 20".
- catalog subject "Object-oriented programming (Computer science)".
- catalog subject "QA76.64 .A22 1996".
- catalog title "A theory of objects / Martín Abadi, Luca Cardelli.".
- catalog type "text".