Fwd: New Software Foundations release
4 views
Skip to first unread message
Joao Marcos
Aug 26, 2021, 7:19:16 PM8/26/21
to Lista acadêmica brasileira dos profissionais e estudantes da área de LOGICA
Pode ser de interesse para alguns membros desta lista.
JM
---------- Forwarded message ---------
Just in time for Fall courses... the Software Foundations team is
pleased to announce a new release of all six titles in the SF series
of formally verified textbooks on programming languages and formal
reasoning about programs.
http://softwarefoundations.cis.upenn.edu/
Volume 1: Logical Foundations
Volume 2: Programming Language Foundations
Volume 3: Verified Functional Algorithms
Volume 4: QuickChick: Property-Based Testing in Coq
Volume 5: Verifiable C
Volume 6: Separation Logic Foundations
This release is compatible with Coq 8.13 and includes improvements to
notations, several new chapters in the Verifiable C volume, and many,
many other additions and refinements.
Enjoy!
- Benjamin
JM
---------- Forwarded message ---------
Just in time for Fall courses... the Software Foundations team is
pleased to announce a new release of all six titles in the SF series
of formally verified textbooks on programming languages and formal
reasoning about programs.
http://softwarefoundations.cis.upenn.edu/
Volume 1: Logical Foundations
Volume 2: Programming Language Foundations
Volume 3: Verified Functional Algorithms
Volume 4: QuickChick: Property-Based Testing in Coq
Volume 5: Verifiable C
Volume 6: Separation Logic Foundations
This release is compatible with Coq 8.13 and includes improvements to
notations, several new chapters in the Verifiable C volume, and many,
many other additions and refinements.
Enjoy!
- Benjamin
Reply all
Reply to author
Forward
0 new messages