%0 Journal Article %1 journals/toplas/MarriottSJ94 %A Marriott, Kim %A Søndergaard, Harald %A Jones, Neil D. %D 1994 %J ACM Trans. Program. Lang. Syst. %K dblp %N 3 %P 607-648 %T Denotational Abstract Interpretation of Logic Programs. %U http://dblp.uni-trier.de/db/journals/toplas/toplas16.html#MarriottSJ94 %V 16

@article{journals/toplas/MarriottSJ94, added-at = {2018-11-14T00:00:00.000+0100}, author = {Marriott, Kim and Søndergaard, Harald and Jones, Neil D.}, biburl = {https://www.bibsonomy.org/bibtex/20e81365c887feee32ad913b7a016d749/dblp}, ee = {https://www.wikidata.org/entity/Q57665081}, interhash = {5dffcc13d72c7d2616352613d519a231}, intrahash = {0e81365c887feee32ad913b7a016d749}, journal = {ACM Trans. Program. Lang. Syst.}, keywords = {dblp}, number = 3, pages = {607-648}, timestamp = {2018-11-15T15:39:38.000+0100}, title = {Denotational Abstract Interpretation of Logic Programs.}, url = {http://dblp.uni-trier.de/db/journals/toplas/toplas16.html#MarriottSJ94}, volume = 16, year = 1994 }