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: Function Points Analysis Training CourseFunction Points Analysis Training Course
by - SoftwareMetrics.Com
The book introduces the basic concepts of function point analysis and unit cost estimating, describes and defines the concepts necessary to establish a boundary between applications, identifies and rates external inputs and external outputs, etc.
(10596 views)
Book cover: Software ArchitectureSoftware Architecture
by - FTA
The central theme of this book is balancing the concerns and requirements of stakeholders, combining these into an architecture proposal by employing known tactics and patterns, producing a description of the architecture that can be communicated.
(7980 views)
Book cover: Jumpstart to Software Quality AssuranceJumpstart to Software Quality Assurance
by - Smashwords
Software Quality Assurance contributes in building capable processes in organization. This book provides practical insight for software quality analyst to start being productive within days, and contribute to building such capable processes.
(7488 views)
Book cover: Case Studies in Systematic Software DevelopmentCase Studies in Systematic Software Development
by - Prentice Hall
This book covers the case studies on the application of the most widely known formal methods in software development, the Vienna Development Method. VDM was developed in an industrial environment but has also evoked considerable academic research.
(10223 views)