A Theory of Objects Image close
A Theory of Objects on Hardback by Martin Abadi
A Theory of Objects on Hardback by Martin Abadi
Show Hide Adult Content
A Theory of Objects close

Computers & Internet Books:

Home  
Books  
Computers & Internet  
Theory & Design  
Mathematical theory of computation

A Theory of Objects

Click to share your rating 0 ratings (0.0/5.0 average) Thanks for your vote!

By:

Format:

Hardback
$593.99
Available from supplier

The item is brand new and in-stock with one of our preferred suppliers. The item will ship from a Mighty Ape warehouse within the timeframe shown.

Usually ships in 3-4 weeks
0 in Trolley

Buy Now, Pay Later with:

4 payments of $148.50 with Afterpay Learn more

Availability

Delivering to:

Estimated arrival:

  • Around 2-12 July using International Courier

Explore more Monographs in Computer Science

See all products in this series

Software Configuration Management Using Vesta by Clark Allan Heydon Save $19
$260.99
$280.95
Software Configuration Management Using Vesta
by Clark Allan Heydon ~ Paperback / softback
Available - Usually ships in 3-4 weeks
High Performance Discovery In Time Series by New York University
$260.99
High Performance Discovery In Time Series
by New York University ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Parameterized Complexity by Rodney G Downey
$657.99
Parameterized Complexity
by Rodney G Downey ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Specification and Development of Interactive Systems by Manfred Broy
$136.99
Specification and Development of Interactive Systems
by Manfred Broy ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Evolutionary Synthesis of Pattern Recognition Systems on Hardback by Bir Bhanu
$420.99
Evolutionary Synthesis of Pattern Recognition Systems
by Bir Bhanu ~ Hardback
Available - Usually ships in 3-4 weeks
Super-Recursive Algorithms on Hardback by Mark Burgin Save $94
$280.99
$375.95
Super-Recursive Algorithms
by Mark Burgin ~ Hardback
Available - Usually ships in 3-4 weeks
Predicate Calculus and Program Semantics by Edsger W. Dijkstra
$237.99
Predicate Calculus and Program Semantics
by Edsger W. Dijkstra ~ Paperback / softback
Available - Usually ships in 3-4 weeks
An Introduction to Formal Language Theory by Robert N Moll
$134.99
An Introduction to Formal Language Theory
by Robert N Moll ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Language Equations by Ernst L. Leiss Save $138
$134.99
$273.95
Language Equations
by Ernst L. Leiss ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Geometric Fundamentals of Robotics by J. M. Selig
$207.99
Geometric Fundamentals of Robotics
by J. M. Selig ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Object-Oriented Database Programming by Suad Alagic Save $137
$135.99
$273.95
Object-Oriented Database Programming
by Suad Alagic ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Probabilistic Analysis of Algorithms by Micha Hofri Save $138
$134.99
$273.95
Probabilistic Analysis of Algorithms
by Micha Hofri ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Parameterized Complexity on Hardback by Rodney G Downey
$666.99
Parameterized Complexity
by Rodney G Downey ~ Hardback
Available - Usually ships in 3-4 weeks
ML with Concurrency Save $138
$134.99
$273.95
ML with Concurrency
Paperback / softback
Available - Usually ships in 3-4 weeks
Evolutionary Synthesis of Pattern Recognition Systems by Bir Bhanu
$399.99
Evolutionary Synthesis of Pattern Recognition Systems
by Bir Bhanu ~ Paperback / softback
Available - Usually ships in 3-4 weeks
A Logical Approach to Discrete Math by David Gries
$141.99
$143.95
A Logical Approach to Discrete Math
by David Gries ~ Paperback / softback
Available - Usually ships in 3-4 weeks

Description

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.
Release date Australia
August 9th, 1996
Audiences
  • Postgraduate, Research & Scholarly
  • Professional & Vocational
Illustrations
XIII, 396 p.
Pages
396
Dimensions
156x234x23
ISBN-13
9780387947754
Product ID
2048689

Customer reviews

Nobody has reviewed this product yet. You could be the first!

Write a Review

Marketplace listings

There are no Marketplace listings available for this product currently.
Already own it? Create a free listing and pay just 9% commission when it sells!

Sell Yours Here

Explore more by Martin Abadi

See all books by this author

A Theory of Objects by Martin Abadi
$587.99
A Theory of Objects
by Martin Abadi ~ Paperback / softback
Available - Usually ships in 3-4 weeks

Recommended for you

Recommended from your browsing history

Help & options

Filed under...

Books >
Computers & Internet >
Theory & Design >
Mathematical theory of computation
Books >
Computers & Internet >
Computer Programming >
Object-oriented programming
Books >
Computers & Internet >
Computer programming / software development >
Object-oriented programming (OOP)
Books >
Computers & Internet >
Computer science >
Mathematical theory of computation