Foundations for programming languages
John C. Mitchell
Programming languages embody the pragmatics of designing software systems, and also the mathematical concepts which underlie them. Anyone who wants to know how, for example, object-oriented programming rests upon a firm foundation in logic should read this book. It guides one surefootedly through the rich variety of basic programming concepts developed over the past forty years.
Ссылка удалена правообладателем
----
The book removed at the request of the copyright holder.