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... read more
We’re hiding the errata, movie connections, books that influenced this book, books influenced by this book, books that cite this book and books cited by this book sections. If you would like to add content to them, you must first make them visible.