Nonfiction | Computer & Technology
A Theory of Objects
by Martin Abadi 2020-07-24 21:20:33
image1
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
  • File size
  • Print pages
  • Publisher
  • Publication date
  • Language
  • ISBN
  • 9.25 X 6.1 X 0 in
  • 410
  • Springer New York
  • April 23, 1998
  • English
  • 9781441985989
autor-image
Martin Abadi
Author
...
Compare Prices
image
Buy AUD 259.0
image
Buy CAD 227.50
image
Hard Cover
Buy CAD 171.17
Available Discount
12 % OFF
12% off Academic Book Titles (ebooks.com)
Show Coupon Code

See More Details

Description: Back to School Promotion at eBooks.com. 12% off Academic book titles. Landing page is on our academics category page. Static image.

10 % OFF
Save 10% OFF on Student Text Books (ebooks.com)
Show Coupon Code

See More Details

Description: Purchase textbooks at student discounts!

20 % OFF
20% Off on selected Categories
Show Coupon Code

See More Details

Description: 20% Off these Categories- Body Mind & Spirit, Family & Relationships, Foreign Language Study, History, Sports & Recreation. Offer Lasts all through January.

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

Stay in touch.

© 2024 AMPLE READS