A Theory of Objects (Monographs in Computer Science)

"A Theory of Objects" von Luca Cardelli und Martín Abadi ist ein bedeutendes Werk im Bereich der Informatik, das sich mit der formalen Beschreibung und Analyse von objektorientierten Programmiersprachen befasst. Das Buch bietet eine theoretische Grundlage für das Verständnis von Objekten, Klassen und Vererbung, die zentrale Konzepte in der objektorientierten Programmierung sind. Cardelli und Abadi entwickeln eine mathematische Theorie, die es ermöglicht, die Semantik von Objektkonstruktionen präzise zu definieren und zu analysieren. Sie führen verschiedene formale Modelle ein, um die Eigenschaften von Objektsystemen zu untersuchen und bieten dabei sowohl eine syntaktische als auch semantische Perspektive. Das Buch behandelt Themen wie Typensysteme, Untertypbeziehungen und Methodenaufrufe in objektorientierten Sprachen. Es richtet sich an Leser mit einem Interesse an den theoretischen Grundlagen der Informatik sowie an Entwickler, die ein tieferes Verständnis der Prinzipien hinter objektorientierten Konzepten erlangen möchten. Durch seine rigorose Herangehensweise hat "A Theory of Objects" einen großen Einfluss auf die Forschung im Bereich der Programmiersprachen ausgeübt und bleibt ein wichtiges Referenzwerk für Wissenschaftler und Praktiker gleichermaßen.