%0 Journal Article %1 journals/tcs/Schachte03 %A Schachte, Peter %D 2003 %J Theor. Comput. Sci. %K dblp %N 3 %P 557-577 %T Precise goal-independent abstract interpretation of constraint logic programs. %U http://dblp.uni-trier.de/db/journals/tcs/tcs293.html#Schachte03 %V 293

@article{journals/tcs/Schachte03, added-at = {2021-02-17T00:00:00.000+0100}, author = {Schachte, Peter}, biburl = {https://www.bibsonomy.org/bibtex/230fba9d25696b81ca4c2b9a95316df0d/dblp}, ee = {https://doi.org/10.1016/S0304-3975(02)00614-X}, interhash = {d680f0068c3bbd4760651065c24abbc2}, intrahash = {30fba9d25696b81ca4c2b9a95316df0d}, journal = {Theor. Comput. Sci.}, keywords = {dblp}, number = 3, pages = {557-577}, timestamp = {2024-04-08T18:47:04.000+0200}, title = {Precise goal-independent abstract interpretation of constraint logic programs.}, url = {http://dblp.uni-trier.de/db/journals/tcs/tcs293.html#Schachte03}, volume = 293, year = 2003 }