Coverart for item
The Resource Foundations of object-oriented languages : types and semantics, Kim B. Bruce

Foundations of object-oriented languages : types and semantics, Kim B. Bruce

Label
Foundations of object-oriented languages : types and semantics
Title
Foundations of object-oriented languages
Title remainder
types and semantics
Statement of responsibility
Kim B. Bruce
Creator
Subject
Language
eng
Cataloging source
DLC
http://library.link/vocab/creatorName
Bruce, Kim B
Index
index present
Literary form
non fiction
Nature of contents
bibliography
http://library.link/vocab/subjectName
  • Object-oriented programming (Computer science)
  • Programming languages (Electronic computers)
Label
Foundations of object-oriented languages : types and semantics, Kim B. Bruce
Instantiates
Publication
Bibliography note
Includes bibliographical references (p. [367]-377) and index
Contents
  • List of Figures
  • Preface
  • I.
  • Type Problems in Object-Oriented Languages.
  • p. 1
  • 1.
  • Introduction.
  • p. 3
  • 2.
  • Fundamental Concepts of Object-Oriented Languages.
  • p. 17
  • 3.
  • Type Problems in Object-Oriented Languages.
  • p. 33
  • 4.
  • Adding Expressiveness to Object-Oriented Languages.
  • p. 49
  • 5.
  • Understanding Subtypes.
  • p. 71
  • 6.
  • Type Restrictions on Subclasses.
  • p. 89
  • 7.
  • Varieties of Object-Oriented Programming Languages.
  • p. 95
  • Historical Notes and References for Section I.
  • p. 113
  • II.
  • Foundations: The Lambda Calculus.
  • p. 117
  • 8.
  • Formal Language Descriptions and the Lambda Calculus.
  • p. 119
  • 9.
  • Polymorphic Lambda Calculus.
  • p. 141
  • Historical Notes and References for Section II.
  • p. 167
  • III.
  • Formal Descriptions of Object-Oriented Languages.
  • p. 171
  • 10.
  • SOOL, a Simple Object-Oriented Language.
  • p. 173
  • 11.
  • Simple Translational Semantics of Objects and Classes.
  • p. 201
  • 12.
  • Improved Semantics for Classes.
  • p. 225
  • 13.
  • SOOL's Type System Is Safe (and Sound).
  • p. 239
  • 14.
  • Completing SOOL: super, nil, Information Hiding, and Multiple Inheritance.
  • p. 263
  • Historical Notes and Reference for Section III.
  • p. 283
  • IV.
  • Extending Simple Object-Oriented Languages.
  • p. 289
  • 15.
  • Adding Bounded Polymorphism to SOOL.
  • p. 291
  • 16.
  • Adding MyType to Object-Oriented Programming Languages.
  • p. 299
  • 17.
  • Match-Bounded Polymorphism.
  • p. 331
  • 18.
  • Simplifying: Dropping Subtyping for Matching.
  • p. 349
  • Historical Notes and References for Section IV.
  • p. 363
  • Bibliography.
  • p. 367
  • Index.
  • p. 379
Control code
14214959
Dimensions
24 cm
Extent
xx, 384 p.
Isbn
9780262025232
Lccn
2001054613
Label
Foundations of object-oriented languages : types and semantics, Kim B. Bruce
Publication
Bibliography note
Includes bibliographical references (p. [367]-377) and index
Contents
  • List of Figures
  • Preface
  • I.
  • Type Problems in Object-Oriented Languages.
  • p. 1
  • 1.
  • Introduction.
  • p. 3
  • 2.
  • Fundamental Concepts of Object-Oriented Languages.
  • p. 17
  • 3.
  • Type Problems in Object-Oriented Languages.
  • p. 33
  • 4.
  • Adding Expressiveness to Object-Oriented Languages.
  • p. 49
  • 5.
  • Understanding Subtypes.
  • p. 71
  • 6.
  • Type Restrictions on Subclasses.
  • p. 89
  • 7.
  • Varieties of Object-Oriented Programming Languages.
  • p. 95
  • Historical Notes and References for Section I.
  • p. 113
  • II.
  • Foundations: The Lambda Calculus.
  • p. 117
  • 8.
  • Formal Language Descriptions and the Lambda Calculus.
  • p. 119
  • 9.
  • Polymorphic Lambda Calculus.
  • p. 141
  • Historical Notes and References for Section II.
  • p. 167
  • III.
  • Formal Descriptions of Object-Oriented Languages.
  • p. 171
  • 10.
  • SOOL, a Simple Object-Oriented Language.
  • p. 173
  • 11.
  • Simple Translational Semantics of Objects and Classes.
  • p. 201
  • 12.
  • Improved Semantics for Classes.
  • p. 225
  • 13.
  • SOOL's Type System Is Safe (and Sound).
  • p. 239
  • 14.
  • Completing SOOL: super, nil, Information Hiding, and Multiple Inheritance.
  • p. 263
  • Historical Notes and Reference for Section III.
  • p. 283
  • IV.
  • Extending Simple Object-Oriented Languages.
  • p. 289
  • 15.
  • Adding Bounded Polymorphism to SOOL.
  • p. 291
  • 16.
  • Adding MyType to Object-Oriented Programming Languages.
  • p. 299
  • 17.
  • Match-Bounded Polymorphism.
  • p. 331
  • 18.
  • Simplifying: Dropping Subtyping for Matching.
  • p. 349
  • Historical Notes and References for Section IV.
  • p. 363
  • Bibliography.
  • p. 367
  • Index.
  • p. 379
Control code
14214959
Dimensions
24 cm
Extent
xx, 384 p.
Isbn
9780262025232
Lccn
2001054613

Library Locations

    • Harold Cohen LibraryBorrow it
      Ashton Street, Liverpool, L69 3DA, GB
      53.418074 -2.967913
Processing Feedback ...