@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},
}

{"_id":"WHTxzDK57SoAS6N9R","bibbaseid":"jones-sndergaard-asemanticsbasedframeworkfortheabstractinterpretationofprolog-1987","author_short":["Jones, N. D.","Søndergaard, H."],"bibdata":{"bibtype":"incollection","type":"incollection","author":[{"firstnames":["Neil","D."],"propositions":[],"lastnames":["Jones"],"suffixes":[]},{"firstnames":["Harald"],"propositions":[],"lastnames":["Søndergaard"],"suffixes":[]}],"title":"A Semantics-Based Framework for the Abstract Interpretation of Prolog","editor":[{"firstnames":["S."],"propositions":[],"lastnames":["Abramsky"],"suffixes":[]},{"firstnames":["C."],"propositions":[],"lastnames":["Hankin"],"suffixes":[]}],"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","bibtex":"@Incollection{Jon-Son_absint87,\n author = {Neil D. Jones and \n\t\tHarald S{\\o}ndergaard},\n title = {A Semantics-Based Framework for the Abstract Interpretation of \n\t\t{Prolog}},\n editor = {S. Abramsky and C. Hankin},\n booktitle = {Abstract Interpretation of Declarative Languages},\n chapter = {6},\n pages = {123--142},\n publisher = {Ellis Horwood},\n year = {1987},\n keywords = {Abstract interpretation, Logic programming, Prolog, Groundness analysis, Sharing analysis},\n}\n\n","author_short":["Jones, N. D.","Søndergaard, H."],"editor_short":["Abramsky, S.","Hankin, C."],"key":"Jon-Son_absint87","id":"Jon-Son_absint87","bibbaseid":"jones-sndergaard-asemanticsbasedframeworkfortheabstractinterpretationofprolog-1987","role":"author","urls":{},"keyword":["Abstract interpretation","Logic programming","Prolog","Groundness analysis","Sharing analysis"],"metadata":{"authorlinks":{}}},"bibtype":"incollection","biburl":"people.eng.unimelb.edu.au/harald/bibbase.bib","dataSources":["yWvm3kzg5vKQAPLm7","ofmsZryxNDBSpE7j5","9aC4cxLD8D6oJ3FLN","wpkuJrZJJtqra3FbL","XqcrNTrCCBr9mSd37","W7ih7WyQivP4EDh83"],"keywords":["abstract interpretation","logic programming","prolog","groundness analysis","sharing analysis"],"search_terms":["semantics","based","framework","abstract","interpretation","prolog","jones","søndergaard"],"title":"A Semantics-Based Framework for the Abstract Interpretation of Prolog","year":1987}