Correctness, precision and efficiency in the sharing analysis of real logic languages

Enea Zaffanella. Correctness, precision and efficiency in the sharing analysis of real logic languages. PhD thesis, University of Leeds, UK, 2001. [doi]

@phdthesis{ethos-6758,
  title = {Correctness, precision and efficiency in the sharing analysis of real logic languages},
  author = {Enea Zaffanella},
  year = {2001},
  url = {http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.529166},
  note = {British Library, EThOS},
  researchr = {https://researchr.org/publication/ethos-6758},
  cites = {0},
  citedby = {0},
  school = {University of Leeds, UK},
}