{"title":"Martin Abadi","description":null,"products":[{"product_id":"theory-of-objects-book-martin-abadi-9780387947754","title":"A Theory of Objects","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.","brand":"WoB","offers":[{"title":"US \/ GOOD \/ SBYB","offer_id":49975870554385,"sku":"CIN0387947752G","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"GB \/ VERY_GOOD \/ INTERNAL","offer_id":51826718179601,"sku":"GOR012294168","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"GB \/ NEW \/ INGRAM","offer_id":52429670220049,"sku":"NLS9780387947754","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/0387947752.jpg?v=1751071700"},{"product_id":"theory-of-objects-book-martin-abadi-9781461264453","title":"A Theory of Objects","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.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52126400381201,"sku":"NLS9781461264453","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9781461264453.jpg?v=1757475960"},{"product_id":"theoretical-aspects-of-computer-software-book-martin-abadi-9783540633884","title":"Theoretical Aspects of Computer Software","description":"This book constitutes the refereed proceedings of the Third International Symposium on Theoretical Aspects of Computer Software, TACS'97, held in Sendai, Japan, in September 1997. The book presents 20 revised full papers selected from a total of 46 submissions. Also included are seven invited papers by internationally leading scientists. Among the topics addressed are action calculi, polymorphisms, type theory, lambda calculi, refinement, finite transition systems, model checking, process algebras, logical frameworks, higher-order logics, etc.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52131305586961,"sku":"NLS9783540633884","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783540633884.jpg?v=1757509201"}],"url":"https:\/\/www.worldofbooks.com\/de-de\/collections\/autor-buecher-von-martin-abadi.oembed","provider":"World of Books ","version":"1.0","type":"link"}