- Abramsky and Jung "Domain Theory" http://www.cs.bham.ac.uk/~axj/pub/papers/handy1.pdf
- Appel, Andrew "Modern Compiler Implementation in ML"
- Cousot, Patrick "Abstract Interpretation Based Formal Methods and Future Challenges" http://www.di.ens.fr/~cousot/publications.www/Cousot-LNCS2000-sv-sb.pdf
- Darais, Might, and Van Horn "Galois Transformers and Modular Abstract Interpreters" http://arxiv.org/pdf/1411.3962v1.pdf
- Davey and Priestley, "Introduction To Lattices and Order"
- Friedman and Mendhekar, "Using an Abstracted Interpreter to Understand Abstract Interpretation" http://www.cs.indiana.*du/l/www/classes/b621/abiall.pdf
- Friedman and Wand, "Essentials of Programming Languages"
- Jones and Nielson, "Abstract Interpretation: a Semantics-Based Tool for Program Analysis" http://se.inf.ethz.ch/courses/2014b_fall/sv/reading/jones-nielson.pdf
- Livshits, Sridharan, Smaragdakis, et. al. "In Defense of Soundiness: A Manifesto" http://cgi.di.uoa.gr/~smaragd/Soundiness-CACM.pdf
- Might, Matt "Writing an interpreter, CESK-style" http://matt.might.net/articles/cesk-machines/
- Nielson, Nielson, and Hankin "Principles of Program Analysis"
- Nielson, Nielson, and Hankin "Principles of Program Analysis: A Sampler of Approaches" http://www.imm.dtu.dk/~hrni/PPA/slides1.pdf
- Prisetley, Hilary "Ordered Sets and Complete Lattices: A Primer for Computer Science" http://profs.sci.univr.it/~giaco/paperi/lattices-for-CS.pdf
- Sergey et. al, "Monadic Abstract Interpreters" http://matt.might.net/papers/sergey2013monalysis.pdf
- Schmidt, David "All the world is an abstract interpretation (of all the world)" http://santos.cis.ksu.edu/schmidt/Lafayette03/talk.pdf
- Schmidt, David "Principles and applications of abstract-interpretation-based static analysis" http://santos.cis.ksu.edu/schmidt/SLS13.pdf
- Smith "The Galois Connection between Syntax and Semantics" http://www.logicmatters.net/resources/pdfs/Galois.pdf
- Van Horn and Might, "Systematic abstraction of abstract machines" http://matt.might.net/papers/vanhorn2012abstract.pdf
- Van Horn "CMSC631 Program Analysis and Understanding: Class notes" http://www.cs.umd.edu/class/fall2014/cmsc631/notes.pdf
- Van Horn and Might, "Abstracting Abstract Machines" http://matt.might.net/papers/vanhorn2010abstract.pdf
Last active
October 4, 2020 18:45
-
-
Save mrb/e015c37e2b851be2b6ae to your computer and use it in GitHub Desktop.
"Programs that eat programs" Works cited/bibliography
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment