@phdthesis{basesearch-6556,
  title = {Object-Oriented Declarative Program Analysis},
  author = {Eva Magnusson},
  year = {2007},
  url = {https://www.base-search.net/Record/f5fab9150a56b00ade6642d6087aa8071c3178ad48ea41296f8e650a20404bc6},
  note = {base-search.net (ftulundlup:oai:lup.lub.lu.se:0395ed0c-8691-4049-b148-b06f6b1279a4)},
  researchr = {https://researchr.org/publication/basesearch-6556},
  cites = {0},
  citedby = {0},
  school = {Lund University, Sweden},
}