mr-infty / tapl
Solutions to the exercises in and miscellaneous material for the book "Types and Programming Languages" by Benjamin C. Pierce.
☆11Updated 5 years ago
Alternatives and similar repositories for tapl:
Users that are interested in tapl are comparing it to the libraries listed below
- outline and links for PLDI 2022 tutorial☆17Updated 2 years ago
- CS 704 course website - Principles of Programming Languages☆67Updated 2 years ago
- A translation validation framework for MLIR☆81Updated last month
- ☆28Updated 2 weeks ago
- ☆17Updated last week
- Problem Sets for MIT 6.822 Formal Reasoning About Programs, Spring 2022☆20Updated 2 years ago
- A memory allocator verified with Verus☆19Updated last month
- GPU model checker☆11Updated 6 years ago
- Scalable Distributed System Model Checking with Specification-Level State Exploration☆24Updated last year
- Summary for Stanford class CS243 - Program Analysis and Optimizations | Winter 2016☆31Updated 9 years ago
- ☆26Updated last year
- Appendix of "Principles of Abstract Interpretation", P. Cousot, MIT Press, 2021, containing the proofs and the solutions of exercises not…☆41Updated 3 years ago
- Just save my record on github...☆25Updated 4 years ago
- Libraries useful for Dafny programs☆43Updated last month
- ☆31Updated 3 years ago
- CDSChecker: A Model Checker for C11 and C++11 Atomics☆29Updated 11 years ago
- An automated deductive program verifier based on concurrent separation logic☆14Updated this week
- ☆50Updated 4 months ago
- Formal specification and verification of hardware, especially for security and privacy.☆126Updated 2 years ago
- PolyGen is a code generator for the polyhedral model, written and proved in Coq.☆10Updated 4 years ago
- Ferrite, a toolkit for developing file system crash-consistency models☆18Updated 8 years ago
- Definition of the Viper intermediate verification language.☆85Updated this week
- A graduate seminar on SMT solving and solver-aided systems☆26Updated 2 years ago
- Symbolic-execution-based verifier for the Viper intermediate verification language.☆100Updated this week
- ☆47Updated 3 years ago
- Course website for Systems Verification Fall 2024☆11Updated last week
- VeriBetrKV OSDI'20 artifact☆10Updated 4 years ago
- Course Webpage of COMP737011 Memory Safety and Programming Language Design @ Fudan University☆28Updated this week
- Java Skeleton Code for 6.035☆8Updated 4 years ago
- Public-facing course info for program analysis materials.☆41Updated 4 months ago