Zur Startseite gehen
0,00 €*
Cover: 9780387947754 | A Theory of Objects | Luca Cardelli (u. a.) | Buch | XIII | Englisch
Dekorationsartikel gehören nicht zum Leistungsumfang.
A Theory of Objects
Buch von Luca Cardelli (u. a.)
Sprache: Englisch

246,09 €*

inkl. MwSt.

Versandkostenfrei per Post / DHL

Aktuell nicht verfügbar

Kategorien:
Beschreibung
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 which objects are treated as primitives. Using object calculi,the authors are able to explain both the semantics of objects and their typing rules and demonstrate how to develop all of the most important concepts of object-oriented programming languages: self, dynamic dispatch, classes, inheritance, protected and private methods, prototyping, subtyping, covariance and contravariance, and method specialization. Many researchers and graduate students will find this an important development of the underpinnings of object-oriented programming.
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 which objects are treated as primitives. Using object calculi,the authors are able to explain both the semantics of objects and their typing rules and demonstrate how to develop all of the most important concepts of object-oriented programming languages: self, dynamic dispatch, classes, inheritance, protected and private methods, prototyping, subtyping, covariance and contravariance, and method specialization. Many researchers and graduate students will find this an important development of the underpinnings of object-oriented programming.
Zusammenfassung
This book develops a theory of objects as a foundation for object- oriented languages and programming. It shows how object-oriented notions may be expressed in terms of a few basic primitives, and how these can be used to design and understand object-oriented programming languages.
Inhaltsverzeichnis
Prologue.- Review: Object-Oriented Features.- 1 Object Orientation.- 2 Class-Based Languages.- 3 Advanced Class-Based Features.- 4 Object-Based Languages.- 5 Modeling Object-Oriented Languages.- I: Untyped and First-Order Calculi.- 6 Untyped Calculi.- 7 First-Order Calculi.- 8 Subtyping.- 9 Recursion.- 10 Untyped Imperative Calculi.- 11 First-Order Imperative Calculi.- 12 A First-Order Language.- II: Second-Order Calculi.- 13 Second-Order Calculi.- 14 A Semantics.- 15 Definable Covariant Self Types.- 16 Primitive Covariant Self Types.- 17 Imperative Calculi with Self Types.- 18 Interpretations of Object Calculi.- 19 A Second-Order Language.- III: Higher-Order Calculi.- 20 A Higher-Order Calculus.- 21 A Language with Matching.- Epilogue.- APPENDIX: Rules and Proofs.- A Fragments.- A.1 Simple-Objects Fragments.- A.2 Other Typing Fragments.- A.3 Other Equational Fragments.- B Systems.- C Proofs.- C.1 Proof of the Variance Lemma from Section 13.3.- C.2 Proof of the Variance Lemma from Section 16.4.- C.3 Deriving the Rules for ?-Objects from Section 15.1.2.- C.4 Denotational Soundness of Equational Rules.- List of Figures.- List of Tables.- List of Notations.- List of Languages.
Details
Erscheinungsjahr: 1996
Genre: Informatik
Rubrik: Naturwissenschaften & Technik
Medium: Buch
Reihe: Monographs in Computer Science
Inhalt: xiii
396 S.
ISBN-13: 9780387947754
ISBN-10: 0387947752
Sprache: Englisch
Ausstattung / Beilage: HC runder Rücken kaschiert
Einband: Gebunden
Autor: Cardelli, Luca
Abadi, Martin
Hersteller: Springer New York
Springer US, New York, N.Y.
Monographs in Computer Science
Maße: 241 x 160 x 28 mm
Von/Mit: Luca Cardelli (u. a.)
Erscheinungsdatum: 09.08.1996
Gewicht: 0,793 kg
Artikel-ID: 102544306
Zusammenfassung
This book develops a theory of objects as a foundation for object- oriented languages and programming. It shows how object-oriented notions may be expressed in terms of a few basic primitives, and how these can be used to design and understand object-oriented programming languages.
Inhaltsverzeichnis
Prologue.- Review: Object-Oriented Features.- 1 Object Orientation.- 2 Class-Based Languages.- 3 Advanced Class-Based Features.- 4 Object-Based Languages.- 5 Modeling Object-Oriented Languages.- I: Untyped and First-Order Calculi.- 6 Untyped Calculi.- 7 First-Order Calculi.- 8 Subtyping.- 9 Recursion.- 10 Untyped Imperative Calculi.- 11 First-Order Imperative Calculi.- 12 A First-Order Language.- II: Second-Order Calculi.- 13 Second-Order Calculi.- 14 A Semantics.- 15 Definable Covariant Self Types.- 16 Primitive Covariant Self Types.- 17 Imperative Calculi with Self Types.- 18 Interpretations of Object Calculi.- 19 A Second-Order Language.- III: Higher-Order Calculi.- 20 A Higher-Order Calculus.- 21 A Language with Matching.- Epilogue.- APPENDIX: Rules and Proofs.- A Fragments.- A.1 Simple-Objects Fragments.- A.2 Other Typing Fragments.- A.3 Other Equational Fragments.- B Systems.- C Proofs.- C.1 Proof of the Variance Lemma from Section 13.3.- C.2 Proof of the Variance Lemma from Section 16.4.- C.3 Deriving the Rules for ?-Objects from Section 15.1.2.- C.4 Denotational Soundness of Equational Rules.- List of Figures.- List of Tables.- List of Notations.- List of Languages.
Details
Erscheinungsjahr: 1996
Genre: Informatik
Rubrik: Naturwissenschaften & Technik
Medium: Buch
Reihe: Monographs in Computer Science
Inhalt: xiii
396 S.
ISBN-13: 9780387947754
ISBN-10: 0387947752
Sprache: Englisch
Ausstattung / Beilage: HC runder Rücken kaschiert
Einband: Gebunden
Autor: Cardelli, Luca
Abadi, Martin
Hersteller: Springer New York
Springer US, New York, N.Y.
Monographs in Computer Science
Maße: 241 x 160 x 28 mm
Von/Mit: Luca Cardelli (u. a.)
Erscheinungsdatum: 09.08.1996
Gewicht: 0,793 kg
Artikel-ID: 102544306
Warnhinweis

Ähnliche Produkte

Ähnliche Produkte

Taschenbuch
Cover: 9783528045517 | GFA-Basic-Wegweiser-Komplettkurs | Ekkehard Kaier | Taschenbuch | XIII
GFA-Basic-Wegweiser-Komplettkurs
EAN: 9783528045517
Sprache: Deutsch
Von/Mit: Ekkehard Kaier

54,99 €*

Lieferzeit 4-7 Werktage

Taschenbuch
Cover: 9783642629891 | Object-Process Methodology | A Holistic Systems Paradigm | Dov Dori
Object-Process Methodology
A Holistic Systems Paradigm
EAN: 9783642629891
Sprache: Englisch
Von/Mit: Dov Dori

58,80 €*

Lieferzeit 4-7 Werktage

Taschenbuch
Cover: 9781849518048 | Mastering Openframeworks | Creative Coding Demystified | Yanc (u. a.)
Mastering Openframeworks
Creative Coding Demystified
EAN: 9781849518048
Sprache: Englisch
Von/Mit: Chris Yanc (u. a.)

60,85 €*

Lieferzeit 1-2 Wochen

Taschenbuch
Cover: 9780857290175 | Rigorous Software Development | José Bacelar Almeida (u. a.) | Buch
Rigorous Software Development
An Introduction to Program Verification
EAN: 9780857290175
Sprache: Englisch
Von/Mit: José Bacelar Almeida (u. a.)

34,70 €*

Lieferzeit 4-7 Werktage

Buch
Cover: 9780521780988 | Concepts in Programming Languages | John C. Mitchell (u. a.) | Buch
Concepts in Programming Languages
EAN: 9780521780988
Sprache: Englisch
Von/Mit: John C. Mitchell (u. a.)

109,60 €*

Aktuell nicht verfügbar

Taschenbuch
Cover: 9781680921618 | The Python Language Reference | Release 3.6.4 | Rossum (u. a.) | Buch
The Python Language Reference
Release 3.6.4
EAN: 9781680921618
Sprache: Englisch
Von/Mit: Guido Van Rossum (u. a.)

13,00 €*

Aktuell nicht verfügbar

Buch
Cover: 9780471972082 | Requirements Engineering | Processes and Techniques | Kotonya (u. a.)
Requirements Engineering
Processes and Techniques
EAN: 9780471972082
Sprache: Englisch
Von/Mit: Gerald Kotonya (u. a.)

97,00 €*

Aktuell nicht verfügbar

Buch
Cover: 9789811652028 | Petri Nets for Modeling of Large Discrete Systems | Reggie Davidrajuh
Petri Nets for Modeling of Large Discrete Systems
EAN: 9789811652028
Sprache: Englisch
Von/Mit: Reggie Davidrajuh

160,49 €*

Aktuell nicht verfügbar

Taschenbuch
Cover: 9781800560994 | Google Cloud Certified Professional Cloud Developer Exam Guide | Buch
Google Cloud Certified Professional Cloud Developer Exam Guide
Modernize your applications using cloud-native services and best practices
EAN: 9781800560994
Sprache: Englisch
Von/Mit: Sebastian Moreno

60,35 €*

Lieferzeit 1-2 Wochen

Taschenbuch
Cover: 9789355515711 | 100+ Solutions in Java | Dhruti Shah | Taschenbuch | Paperback | 2023
100+ Solutions in Java
Everything you need to know to develop Java applications - 2nd Edition
EAN: 9789355515711
Sprache: Englisch
Von/Mit: Dhruti Shah

49,55 €*

Lieferzeit 1-2 Wochen

Diese Website verwendet Cookies, um eine bestmögliche Erfahrung bieten zu können. Mehr Informationen ...