Concepts in Programming Languages by John C. MitchellConcepts in Programming Languages elucidates the central concepts used in modern programming languages, such as functions, types, memory management, and control. The book is unique in its comprehensive presentation and comparison of major object-oriented programming languages. Separate chapters examine the history of objects, Simula and Smalltalk, and the prominent languages C++ and Java. The author presents foundational topics, such as lambda calculus and denotational semantics, in an easy-to-read, informal style, focusing on the main insights provided by these theories. Advanced topics include concurrency, concurrent object-oriented programming, program components, and inter-language interoperability. A chapter on logic programming illustrates the importance of specialized programming methods for certain kinds of problems.
Foundations for Programming Languages
This content was uploaded by our users and we assume good faith they have the permission to share this book. If you own the copyright to this book and it is wrongfully on our website, we offer a simple DMCA procedure to remove your content from our site. Start by pressing the button below! Foundations for programming languages Home Foundations for programming languages. Foundations for programming languages. Read more. Practical Foundations for Programming Languages.
Shop by category
Anyone who wantsto know how, for example, object-oriented programming rests upon a firmfoundation in logic should read this book. It guides one surefootedlythrough the rich variety of basic programming concepts developed over thepast forty years. A basic grasp of this material is essentialfor the understanding, comparative analysis, and design of programminglanguages. Part 1 Introduction: model programming languages; lambda notation; equations, reduction and semantics; types and type systems; notation and mathematical conventions; set-theoretic background; syntax and semantics; induction. Part 3 Universal algebra and algebraic data types: preview of algebraic specification; algebras, signatures and terms; equations, soundness and completeness; homomorphisms and initiality; algebraic data types; rewrite systems. Part 4 Simply-typed lambda calculus: types; terms; proof systems; Henkin models, soundness and completeness.
Goodreads helps you keep track of books you want to read. Want to Read saving…. Want to Read Currently Reading Read. Other editions. Enlarge cover.