|
libcats.org
Foundations for programming languagesJohn C. MitchellProgramming 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. -- Robin Milner, Professor of Computer Science, The Computer Laboratory, Cambridge University "Programming languages need not be designed in an intellectual vacuum; John Mitchell's book provides an extensive analysis of the fundamental notions underlying programming constructs. A basic grasp of this material is essential for the understanding, comparative analysis, and design of programming languages." -- Luca Cardelli, Digital Equipment Corporation
Written for advanced undergraduate and beginning graduate students, Foundations for Programming Languages uses a series of typed lambda calculi to study the axiomatic, operational, and denotational semantics of sequential programming languages. Later chapters are devoted to progressively more sophisticated type systems. Compared to other texts on the subject, Foundations for Programming Languages is distinguished primarily by its inclusion of material on universal algebra and algebraic data types, imperative languages and Floyd-Hoare logic, and advanced chapters on polymorphism and modules, subtyping and object-oriented concepts, and type inference. The book is mathematically oriented but includes discussion, motivation, and examples that make the material accessible to students specializing in software systems, theoretical computer science, or mathematical logic. Foundations for Programming Languages is suitable as a reference for professionals concerned with programming languages, software validation or verification, and programming, including those working with software modules or object-oriented programming. Foundations of Computing series
Популярные книги за неделю:
![]() Тестирование Дот Ком, или Пособие по жестокому обращению с багами в интернет-стартапахАвтор: Роман Савин
Размер книги: 5.26 Mb
![]() Каталог почтовых марок 1857-1991. Россия, РСФСР, СССРАвтор: В.Б. ЗагорскийКатегория: КНИГИ ХОББИ и РАЗВЛЕЧЕНИЯ
Размер книги: 139.85 Mb
Только что пользователи скачали эти книги:
![]() Робототехнические системы и комплексы. Учебное пособие для вузовАвтор: Мачульский Игорь Иванович, Автор: Под редакцией канд. техн. наук И.И.Мачульского. Авторы: В.П.Запятой - введение, Автор: главы 1, Автор: 2, Автор: 4, Автор: 5, Автор: 7, Автор: 8; Ю.П.Майоров - глава 3; А.В.Вершннский - глава 6; И.И.Мачульский - глава 9; Г.С.Загорский - глава 10.
Размер книги: 4.03 Mb
![]() Kant: Groundwork of the Metaphysics of Morals (Cambridge Texts in the History of Philosophy)Автор: Immanuel KantКатегория: История
Размер книги: 11.51 Mb
![]() Gabler MLP Berufs- und Karriere-Planer : Wirtschaft 2008 2009Автор: Alfred Brink, Автор: Ursula Ernst-Auch, Автор: Manfred Faber, Автор: Ursula Ernst- Auch
Размер книги: 7.59 Mb
![]() But They Can't Beat Us: Oscar Robertson and the Crispus Attucks TigersАвтор: Randy Roberts
Размер книги: 10.56 Mb
![]() Comics as a Nexus of Cultures: Essays on the Interplay of Media, Disciplines and International Perspectives (Critical Explorations in Science Fiction and Fantasy)Автор: Mark Berninger, Автор: Jochen Ecke, Автор: Gideon Haberkorn, Автор: Donald E. Palumbo, Автор: C.W. Sullivan III
Размер книги: 7.83 Mb
![]() Nikon DSLR: The Ultimate Photographer's Guide (Digital Workflow)Автор: Jim White, Автор: Tony SweetКатегория: Искусство, Графические виды искусства
Размер книги: 17.38 Mb
![]() Windows 2000 Security (Networking)Автор: Rashi Gupta, Автор: NIITКатегория: Компьютеры, Операционные системы
Размер книги: 9.71 Mb
|
|