BibTeX record conf/lopstr/ParrainDL92

download as .bib file

@inproceedings{DBLP:conf/lopstr/ParrainDL92,
  author    = {Anne Parrain and
               Philippe Devienne and
               Patrick Leb{\`{e}}gue},
  title     = {Towards Optimization of Full Prolog Programs Guided by Abstract Interpretation},
  booktitle = {Logic Program Synthesis and Transformation, Proceedings of {LOPSTR}
               92, International Workshop on Logic Program Synthesis and Transformation,
               University of Manchester, UK, 2-3 July 1992},
  pages     = {228--241},
  year      = {1992},
  crossref  = {DBLP:conf/lopstr/1992},
  url       = {https://doi.org/10.1007/978-1-4471-3560-9\_16},
  doi       = {10.1007/978-1-4471-3560-9\_16},
  timestamp = {Fri, 21 Jun 2019 13:08:59 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/lopstr/ParrainDL92},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lopstr/1992,
  editor    = {Kung{-}Kiu Lau and
               Tim Clement},
  title     = {Logic Program Synthesis and Transformation, Proceedings of {LOPSTR}
               92, International Workshop on Logic Program Synthesis and Transformation,
               University of Manchester, UK, 2-3 July 1992},
  series    = {Workshops in Computing},
  publisher = {Springer},
  year      = {1993},
  url       = {https://doi.org/10.1007/978-1-4471-3560-9},
  doi       = {10.1007/978-1-4471-3560-9},
  isbn      = {3-540-19806-7},
  timestamp = {Fri, 21 Jun 2019 13:08:59 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/lopstr/1992},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics