[TYPES/announce] New and updated Software Foundations titles

Benjamin Pierce bcpierce at cis.upenn.edu
Thu Sep 10 10:22:11 EDT 2020


The Software Foundations <https://softwarefoundations.cis.upenn.edu/> team is pleased to announce a new volume in the series and major updates to two others.

NEW!  Software Foundations volume 5, Verifiable C <https://softwarefoundations.cis.upenn.edu/vc-current/index.html>, by Andrew W. Appel and Qinxiang Cao, is an extended hands-on tutorial on specifying and verifying real-world C programs using the Princeton Verified Software Toolchain.

 <https://softwarefoundations.cis.upenn.edu/vc-current/index.html>

UPDATED!  Software Foundations volume 1, Logical Foundations <https://softwarefoundations.cis.upenn.edu/lf-current/index.html>, is the entry-point to the Software Foundations series. It covers functional programming, basic concepts of logic, computer-assisted theorem proving, and Coq.  Volume 2, Programming Language Foundations <https://softwarefoundations.cis.upenn.edu/plf-current/index.html>, surveys the theory of programming languages, including operational semantics, Hoare logic, and static type systems.  Both volumes have been substantially revamped, with new material, new exercises, and significantly improved concrete notations for embedded object-language programs.

 <https://softwarefoundations.cis.upenn.edu/lf-current/index.html>  <https://softwarefoundations.cis.upenn.edu/plf-current/index.html>

All Software Foundations titles are available electronically, free of charge.  Share and enjoy!

     - Benjamin

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20200910/499791b7/attachment-0001.htm>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: PastedGraphic-2.png
Type: image/png
Size: 104262 bytes
Desc: not available
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20200910/499791b7/attachment-0003.png>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: PastedGraphic-4.png
Type: image/png
Size: 104426 bytes
Desc: not available
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20200910/499791b7/attachment-0004.png>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: PastedGraphic-3.png
Type: image/png
Size: 112825 bytes
Desc: not available
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20200910/499791b7/attachment-0005.png>


More information about the Types-announce mailing list