Nonfiction | Computer & Technology

A Theory of Objects

by Martin Abadi

2020-07-25 00:50:33

Compare Price
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 diff... Read more
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. Less

Book Details

File size9.25 X 6.1 X 0 in
Print pages410
PublisherSpringer New York
Publication date April 23, 1998
LanguageEnglish
ISBN9781441985989
autor-image
Martin Abadi
Author
...

Compare Prices

Store Availability Book Format Condition Price
eBooks.com In Stock Buy AUD 259.0
Indigo Books & Music In Stock Buy CAD 227.50
Indigo Books & Music In Stock Hard Cover Hard Cover Buy CAD 171.17
eBooks.comIn Stock
Format
Condition
Buy AUD 259.0
Indigo Books & MusicIn Stock
Format
Condition
Buy CAD 227.50
Indigo Books & MusicIn Stock
Format
Hard Cover
Condition
Hard Cover
Buy CAD 171.17
Available Discount
No Discount available

Related Books

View All
Privacy and Legal Issues in Cloud Computing
☆ ☆ ☆ ☆ ☆
Drones For Dummies
☆ ☆ ☆ ☆ ☆
Practical Monitoring
☆ ☆ ☆ ☆ ☆
LPIC-1
☆ ☆ ☆ ☆ ☆
Topics at the Frontier of Statistics and Network Analysis
☆ ☆ ☆ ☆ ☆
The Digital Filmmaking Handbook
☆ ☆ ☆ ☆ ☆
MCSA SQL 2016 BI Development Exam Ref 2-pack
☆ ☆ ☆ ☆ ☆
The Seismic Analysis Code
☆ ☆ ☆ ☆ ☆
Python Programming for Arduino
☆ ☆ ☆ ☆ ☆
Microsoft SharePoint 2013 Step by Step
☆ ☆ ☆ ☆ ☆
CISM Certified Information Security Manager All-in-One Exam Guide
☆ ☆ ☆ ☆ ☆
Troubleshooting Cisco Nexus Switches and NX-OS
☆ ☆ ☆ ☆ ☆
CompTIA Network+ Study Guide
☆ ☆ ☆ ☆ ☆
Abstract Methods in Information Theory
☆ ☆ ☆ ☆ ☆
Network Programmability and Automation
☆ ☆ ☆ ☆ ☆
Type Theory and Formal Proof
☆ ☆ ☆ ☆ ☆
(ISC)2 CISSP Certified Information Systems Security Professional Official Study Guide
☆ ☆ ☆ ☆ ☆
Windows Server 2012 R2 Pocket Consultant Volume 2
☆ ☆ ☆ ☆ ☆
Make
☆ ☆ ☆ ☆ ☆
Expanding and Networking Microcomputers
☆ ☆ ☆ ☆ ☆
Complex Analysis with MATHEMATICA®
☆ ☆ ☆ ☆ ☆
Rapid Prototyping Software for Avionics Systems
☆ ☆ ☆ ☆ ☆
Moodle Gradebook
☆ ☆ ☆ ☆ ☆
Intelligence Analysis as Discovery of Evidence, Hypotheses, and Arguments
☆ ☆ ☆ ☆ ☆
Windows 10 Bible
☆ ☆ ☆ ☆ ☆

Join us and get access to all
your favourite books

Sign up for free and start exploring thousands of eBooks today.

Sign up for free

Stay in touch.

© 2026 AMPLE READS