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
{"_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}