"Programs that eat programs" Works cited/bibliography

abstint.md

• 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