A Semantics-Based Framework for the Abstract Interpretation of Prolog. Jones, N. D. & Søndergaard, H. In Abramsky, S. & Hankin, C., editors, Abstract Interpretation of Declarative Languages, 6, pages 123–142. Ellis Horwood, 1987.
bibtex   
@Incollection{Jon-Son_absint87,
  author    = {Neil D. Jones and 
		Harald S{\o}ndergaard},
  title     = {A Semantics-Based Framework for the Abstract Interpretation of 
		{Prolog}},
  editor    = {S. Abramsky and C. Hankin},
  booktitle = {Abstract Interpretation of Declarative Languages},
  chapter   = {6},
  pages     = {123--142},
  publisher = {Ellis Horwood},
  year      = {1987},
  keywords  = {Abstract interpretation, Logic programming, Prolog, Groundness analysis, Sharing analysis},
}

Downloads: 0