@inproceedings{cousotAbstractInterpretationUnified1977,
  author       = {Patrick Cousot and
                  Radhia Cousot},
  editor       = {Robert M. Graham and
                  Michael A. Harrison and
                  Ravi Sethi},
  title        = {Abstract Interpretation: {A} Unified Lattice Model for Static Analysis
                  of Programs by Construction or Approximation of Fixpoints},
  booktitle    = {Conference Record of the Fourth {ACM} Symposium on Principles of Programming
                  Languages, Los Angeles, California, USA, January 1977},
  pages        = {238--252},
  publisher    = {{ACM}},
  year         = {1977},
  doi          = {10.1145/512950.512973},
  timestamp    = {Tue, 06 Nov 2018 11:07:42 +0100},
  biburl       = {https://dblp.org/rec/conf/popl/CousotC77.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{hofmannWhatPureFunctional2010,
  author       = {Martin Hofmann and
                  Aleksandr Karbyshev and
                  Helmut Seidl},
  editor       = {Samson Abramsky and
                  Cyril Gavoille and
                  Claude Kirchner and
                  Friedhelm Meyer auf der Heide and
                  Paul G. Spirakis},
  title        = {What Is a Pure Functional?},
  booktitle    = {Automata, Languages and Programming, 37th International Colloquium,
                  {ICALP} 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part
                  {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {6199},
  pages        = {199--210},
  publisher    = {Springer},
  year         = {2010},
  doi          = {10.1007/978-3-642-14162-1_17},
  timestamp    = {Sun, 02 Oct 2022 16:03:12 +0200},
  biburl       = {https://dblp.org/rec/conf/icalp/HofmannKS10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{tilscherTopDownSolverExercise2023,
  title = {The {{Top-Down Solver}}{\textemdash}{{An Exercise}} in {{A}}{\textsuperscript{2}}{{I}}},
  booktitle = {Challenges of {{Software Verification}}},
  author = {Tilscher, Sarah and Stade, Yannick and Schwarz, Michael and Vogler, Ralf and Seidl, Helmut},
  editor = {Arceri, Vincenzo and Cortesi, Agostino and Ferrara, Pietro and Olliaro, Martina},
  year = {2023},
  volume = {238},
  pages = {157--179},
  publisher = {{Springer Nature Singapore}},
  address = {{Singapore}},
  doi = {10.1007/978-981-19-9601-6_9},
  urldate = {2023-07-25},
  copyright = {All rights reserved},
  langid = {english}
}
