Theoretical Aspects of Object-Oriented Programming
MIT Press (Verlag)
978-0-262-07155-0 (ISBN)
- Keine Verlagsinformationen verfügbar
- Artikel merken
Carl A. Gunter is Professor in the Department of Computer and Information Science at the University of Pennsylvania. John C. Mitchell is Professor in the Department of Computer Science at Stanford University.
Part 1 Objects and subtypes: user-defined types and procedural data structures as complementary approaches to data abstraction, John C. Reynolds; using category theory to design implicit conversions and generic operators, John C. Reynolds. Part 2 Type inference: type inference for records in a natural extension of ML, Didier Remy; type inference for objects with instance variables and inheritance, Mitchell Wand; static type inference for parametric classes, Atsushi Ohori and Peter Buneman. Part 3 Coherence: a modest model of records, inheritance, and bounded quantification, Kim B. Bruce and Giuseppe Longo; inheritance as implicit coercion, Val Breazu-Tannen et al; coherence of subsumption, minimum typing and type-checking in F<, Pierre-Louis Curien and Giorgio Ghelli. Part 4 Record calculi: operations on records, Luca Cardelli and John C. Mitchell; typing record concatenation for free, Didier Remy; extensible records in a pure calculus of subtyping, Luca Cardelli; bounded quantification is undecidable, Benjamin C. Pierce. Part 5 Inheritance: two semantic models of object-oriented languages, Samuel N. Kamin and Uday S. Reddy; inheritance is not subtyping, William R. Cook et al; toward a typed foundation for method specialization and inheritance, John C. Mitchell.
Reihe/Serie | Foundations of Computing |
---|---|
Verlagsort | Cambridge, Mass. |
Sprache | englisch |
Maße | 180 x 231 mm |
Gewicht | 1134 g |
Themenwelt | Mathematik / Informatik ► Informatik ► Programmiersprachen / -werkzeuge |
Informatik ► Software Entwicklung ► Objektorientierung | |
ISBN-10 | 0-262-07155-X / 026207155X |
ISBN-13 | 978-0-262-07155-0 / 9780262071550 |
Zustand | Neuware |
Haben Sie eine Frage zum Produkt? |
aus dem Bereich