|
CS 528/428: Language-Based SecuritySpring 2024, Yale University |
Last modified: January 28, 2024. This page is still under major construction!
Online Resources (not quite up-to-date yet)
- Software Foundations Volume 1 (Logical Founations) with source files, by Benjamin C. Pierce, et al.
- How to install opam and then install Coq with opam (try coq.8.17 or later for best compatibility with the Software Foundation book)
- Proof General and its FAQ, User Manual (PDF), and other documentation.
- Coq'Art home pages,
CoqWiki,
the coq-club
mailing list,
and
other Coq documentation.
- OS lab tools guide and debugging tips
- Reading materials about x86 and PC hardware
- How to install compiler toolchain and QEMU
- OSDev Wiki, OSNews, SIGOPS, and advanced readings
- Executable and Linkable Format (ELF) (pdf).
- GNU online manuals including as (the GNU assembler), gdb, gcc, and emacs.
- An excellent online C reference (html).
- An Introduction to Programming with Threads (pdf).
- The art of assembly language (online html and pdf)
- GNU Online Docs, including the complete Emacs manual.
- Frequently-Asked Questions (FAQ) for Emacs and Unix.
- The Zoo, and Zoo-Specific Help Documents
Copyright (c) 2009-2024, Zhong Shao, Dept. of Computer Science, Yale University