report.bib

@InProceedings{qlpaper,
  author =	{Pavel Avgustinov and Oege de Moor and Michael Peyton Jones and Max Sch{\"a}fer},
  title =	{{QL: Object-oriented Queries on Relational Data}},
  booktitle =	{30th European Conference on Object-Oriented Programming (ECOOP 2016)},
  pages =	{2:1--2:25},
  series =	{Leibniz International Proceedings in Informatics (LIPIcs)},
  ISBN =	{978-3-95977-014-9},
  ISSN =	{1868-8969},
  year =	{2016},
  volume =	{56},
  editor =	{Shriram Krishnamurthi and Benjamin S. Lerner},
  publisher =	{Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{http://drops.dagstuhl.de/opus/volltexte/2016/6096},
  URN =		{urn:nbn:de:0030-drops-60968},
  doi =		{10.4230/LIPIcs.ECOOP.2016.2},
  annote =	{Keywords: Object orientation, Datalog, query languages, prescriptive typing}
}
@Misc{spa,
  author =       {Anders M\o{}ller and Michael I. Schwartzbach},
  title =        {Static Program Analysis},
  year =         {2019},
  month =        {December},
  note =         {Department of Computer Science, Aarhus University,},
  url=            {http://cs.au.dk/~amoeller/spa/},
}
@Misc{jls,
  author =       {James Gosling and Bill Joy and Guy Steele and Gilad Bracha and Alex Buckley},
  title =        {The Java® LanguageSpecification --- Java SE 8 Edition},
  year =         {2015},
  month =        {February},
  url =         {https://docs.oracle.com/javase/specs/jls/se8/jls8.pdf},
}
@book{fsopl,
  added-at = {2011-04-28T00:00:00.000+0200},
  author = {Winskel, Glynn},
  biburl = {https://www.bibsonomy.org/bibtex/2f2ac3533a7a82c3cbfb95860f5d44d16/dblp},
  interhash = {3053b0339513ccd78d0d9cf00362a754},
  intrahash = {f2ac3533a7a82c3cbfb95860f5d44d16},
  isbn = {978-0-262-23169-5},
  keywords = {dblp},
  publisher = {MIT Press},
  series = {Foundation of computing series},
  timestamp = {2011-04-29T15:27:18.000+0200},
  title = {The formal semantics of programming languages - an introduction.},
  year = 1993
}
@Misc{sat,
  author =       {Andrzej Filinski},
  title =        {Lecture Notes for Semantics and types},
  year =         {2019},
  month =        {March},
  note =         {Department of Computer Science, Copenhagen University,},
}
@inproceedings{verifiedssa,
  title={Verified construction of static single assignment form},
  author={Buchwald, Sebastian and Lohner, Denis and Ullrich, Sebastian},
  booktitle={Proceedings of the 25th International Conference on Compiler Construction},
  pages={67--76},
  year={2016}
}

@inproceedings{abstractinterpretation,
  title={Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints},
  author={Cousot, Patrick and Cousot, Radhia},
  booktitle={Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages},
  pages={238--252},
  year={1977}
}