GitPlanet

Cheap and reliable Node.js hosting starts at $3/month, and $1/month static HTML hosting

Created with love in Canada, visit hostnodejs.com today

Feel like to post an Ad? Learn Details
All Projects → DeepSpec → dsss17

DeepSpec / dsss17

Licence: other
Lecture material for DeepSpec Summer School 2017

Programming Languages

Coq
218 projects
HTML
75241 projects
c
50402 projects - #5 most used programming language
ocaml
1615 projects
assembly
5116 projects
Makefile
30231 projects

dsss17 lecture materials

SF local copy of Software Foundations, volumes 1-3 used in Coq Intensive (Pierce) and "Verified functional algorithms" (Appel)

CAL materials for "Certifying software with crashes" (Kaashoek / Zeldovich)

Stlc materials for "Language specification and variable binding" (Weirich) Metalib support library for Stlc

compiler materials for "The structure of a verified compiler" (Leroy)

qc materials for "Property-based random testing with QuickChick" (Pierce)

vminus materials for "Vellvm: Verifying the LLVM" (Zdancewic) ll extra bits for Vellvm lectures

Note that the project description data, including the texts, logos, images, and/or trademarks, for each open source project belongs to its rightful owner. If you wish to add or remove any projects, please contact us at [email protected].