PrAbsInt / appendix

Appendix of "Principles of Abstract Interpretation", P. Cousot, MIT Press, 2021, containing the proofs and the solutions of exercises not included in the book, the indexes of names and cited authors, as well as a corrigendum
41Updated 3 years ago

Alternatives and similar repositories for appendix:

Users that are interested in appendix are comparing it to the libraries listed below