Logo

Software Foundations by Benjamin C. Pierce

Small book cover: Software Foundations

Software Foundations
by

Publisher: University of Pennsylvania

Description:
These are notes for a one-semester course on Software Foundations -- the mathematical theory of programming and programming languages -- suitable for graduate or upper-level undergraduate students. They develop basic concepts of functional programming, logic, operational semantics, lambda-calculus, and static type systems, using the Coq proof assistant.

Home page url

Download or read it online for free here:
Read online
(online html)

Similar books

Book cover: Communicating Sequential ProcessesCommunicating Sequential Processes
by - Prentice Hall
CSP is a language for describing patterns of interaction. It is supported by an elegant mathematical theory, a set of proof tools, and an extensive literature. The book is an excellent introduction to the language, and also to the mathematical theory.
(8661 views)
Book cover: Handbook of Software Reliability EngineeringHandbook of Software Reliability Engineering
by - McGraw-Hill
From leading industrial/research experts, here is an insider's look at today's best practices for software reliability engineering. This is a guide for software developers, designers, project managers, high-level applications programmers, et al.
(6846 views)
Book cover: Recommended Approach to Software DevelopmentRecommended Approach to Software Development
by
Guidelines for an organized approach to software development, based on studies conducted by the Software Engineering Laboratory, an organization sponsored by the NASA/GSFC. It describes methods for each phase of a software development life cycle.
(12023 views)
Book cover: The New Software EngineeringThe New Software Engineering
by - Global Text Project
The book discusses software engineer's project related knowledge and theoretical background. It covers project planning, project life cycles, methodologies, technologies, techniques, tools, languages, testing, databases, and CASE.
(12004 views)