Software Foundations by Benjamin C. Pierce

Software Foundations

Software Foundations by Benjamin C. Pierce
Publisher: University of Pennsylvania 2010
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.
Computers & Internet Computer Science Software Engineering



More Free E-Books For Software Engineering


Similar Books For Software Engineering

1. Introduction to Software Engineering by
2. SOA eBook: Patterns, Mashups, Governance, Service Modeling, and More by
3. Jumpstart to Software Quality Assurance by Vishnuvarthanan Moorthy
4. Software Fault Tolerance by Michael R. Lyu
5. Software Product Line: Advanced Topic by Abdelrahman Osman Elfaki
6. Handbook of Software Reliability Engineering by Michael R. Lyu
7. The Elements of Computing Systems by Noam Nisan, Shimon Schocken
8. A Quick and Gentle Guide to Constraint Logic Programming via ECLiPSe by Antoni Niederlinski
9. Software Architecture by A. Bijlsma, B.J. Heeren, E.E. Roubtsova, S. Stuurman
10. Knowware: the third star after Hardware and Software by Ruqian Lu
11. Acceptance Test Engineering Guide by Grigori Melnik, Gerard Meszaros, Jon Bach
12. SOA Source Book by
13. The Grand Unified Theory of Software Engineering by Mathias Ekstedt
14. Software Foundations by Benjamin C. Pierce
15. Specifying Systems by Leslie Lamport
16. Introduction to Reverse Engineering Software by Mike Perry, Nasko Oskov
17. Advances in Human Computer Interaction by Shane Pinder
18. Practical Tips for Software-Intensive Student Projects by Damith C. Rajapakse
19. Software Engineering with Reusable Components by Johannes Sametinger
20. Software Engineering by Ivan Marsic
21. The New Software Engineering by Sue Conger
22. Recommended Approach to Software Development by Linda Landis, et al.
23. Function Points Analysis Training Course by David Longstreet
24. Case Studies in Systematic Software Development by Cliff B. Jones and Robert C. F. Shaw
25. Software Engineering for Internet Applications by Eve Andersson, Philip Greenspun, Andrew Grumet
26. Communicating Sequential Processes by C.A.R. Hoare
27. The Guide to the Software Engineering Body of Knowledge by P. Bourque, R. Dupuis, A. Abran, J. W. Moore, and L. L. Tripp



Categories