%0 Conference Paper %1 conf/lopstr/ParrainDL92 %A Parrain, Anne %A Devienne, Philippe %A Lebègue, Patrick %B LOPSTR %D 1992 %E Lau, Kung-Kiu %E Clement, Tim %I Springer %K dblp %P 228-241 %T Towards Optimization of Full Prolog Programs Guided by Abstract Interpretation. %U http://dblp.uni-trier.de/db/conf/lopstr/lopstr92.html#ParrainDL92 %@ 0-387-19806-7

@inproceedings{conf/lopstr/ParrainDL92, added-at = {2019-06-21T00:00:00.000+0200}, author = {Parrain, Anne and Devienne, Philippe and Lebègue, Patrick}, biburl = {https://www.bibsonomy.org/bibtex/281bfea0fbcfa7cc06a15425d61598f55/dblp}, booktitle = {LOPSTR}, crossref = {conf/lopstr/1992}, editor = {Lau, Kung-Kiu and Clement, Tim}, ee = {https://doi.org/10.1007/978-1-4471-3560-9_16}, interhash = {c4e8b74f0451ebfa7869aae6ba46d609}, intrahash = {81bfea0fbcfa7cc06a15425d61598f55}, isbn = {0-387-19806-7}, keywords = {dblp}, pages = {228-241}, publisher = {Springer}, series = {Workshops in Computing}, timestamp = {2019-06-22T11:38:44.000+0200}, title = {Towards Optimization of Full Prolog Programs Guided by Abstract Interpretation.}, url = {http://dblp.uni-trier.de/db/conf/lopstr/lopstr92.html#ParrainDL92}, year = 1992 }