Software Foundations
by Benjamin C. Pierce
Publisher: University of Pennsylvania 2010
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.
Download or read it online for free here:
Read online
(online html)
Similar books
Knowware: the third star after Hardware and Softwareby Ruqian Lu - Polimetrica
This book proposes to separate knowledge from software and to make it a commodity that is called knowware. The architecture, representation and function of Knowware are discussed. The principles of knowware engineering are analyzed.
(12471 views)
Communicating Sequential Processesby C.A.R. Hoare - 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.
(13534 views)
Advances in Human Computer Interactionby Shane Pinder - InTech
The book surveys the disciplines that inhabit the study and practice of human-computer interaction. The authors are passionate advocates of innovative applications, novel approaches, and modern advances in this exciting and developing field.
(17819 views)
Software Engineering with Reusable Componentsby Johannes Sametinger - Springer
The book explains what is software reuse, what benefits to expect, different forms of software reuse, software components, different kinds of components, examples of successful component reuse, introduction to software engineering, and more.
(16824 views)