Logo

Practical Foundations for Programming Languages

Large book cover: Practical Foundations for Programming Languages

Practical Foundations for Programming Languages
by

Publisher: Carnegie Mellon University
Number of pages: 580

Description:
This is a working draft of a book on the foundations of programming languages. The central organizing principle of the book is that programming language features may be seen as manifestations of an underlying type structure that governs its syntax and semantics. The emphasis, therefore, is on the concept of type, which codiļ¬es and organizes the computational universe in much the same way that the concept of set may be seen as an organizing principle for the mathematical universe. The purpose of this book is to explain this remark.

Home page url

Download or read it online for free here:
Download link
(1.2MB, PDF)

Similar books

Book cover: Concrete Semantics: With Isabelle/HOLConcrete Semantics: With Isabelle/HOL
by - Springer
The book teaches the reader the art of precise logical reasoning and the practical use of a proof assistant as a tool for formal proofs about computer science artefacts. All the mathematics is formalised in Isabelle and much of it is executable.
(3497 views)
Book cover: Semantics of Programming LanguagesSemantics of Programming Languages
by - University of Cambridge
These notes introduce the structural, operational approach to programming language semantics. The course shows how to specify the meaning of some simple programming language constructs and to reason formally about semantic properties of programs.
(5179 views)
Book cover: Reasoned ProgrammingReasoned Programming
by - Prentice Hall Trade
The text for advanced undergraduate/graduate students of computer science. It introduces functional, imperative and logic programming and explains how to do it correctly. Functional programming is presented as a programming language in its own right.
(9415 views)
Book cover: Dictionary of Programming LanguagesDictionary of Programming Languages
by
The Dictionary of Programming Languages is an online compendium of computer coding methods assembled to provide information and aid your appreciation for computer science history. The dictionary currently has over 120 entries.
(10034 views)