BibTeX record conf/lopstr/BuenoBHMPS00

download as .bib file

@inproceedings{DBLP:conf/lopstr/BuenoBHMPS00,
  author    = {Francisco Bueno and
               Maria J. Garc{\'{\i}}a de la Banda and
               Manuel V. Hermenegildo and
               Kim Marriott and
               Germ{\'{a}}n Puebla and
               Peter J. Stuckey},
  title     = {A model for inter-module analysis and optimizing compilation},
  booktitle = {Extended Abstracts of the 10th International Workshop on Logic-based
               Program Synthesis and Transformation, {LOPSTR} 2000, London, UK, July
               24-28, 2000.},
  year      = {2000},
  crossref  = {DBLP:conf/lopstr/2000ext},
  url       = {ftp://ftp.cs.man.ac.uk/pub/TR/UMCS-00-6-1-bueno.ps.Z},
  timestamp = {Tue, 11 Feb 2014 17:45:37 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/lopstr/BuenoBHMPS00},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lopstr/2000ext,
  editor    = {Kung{-}Kiu Lau},
  title     = {Extended Abstracts of the 10th International Workshop on Logic-based
               Program Synthesis and Transformation, {LOPSTR} 2000, London, UK, July
               24-28, 2000},
  series    = {Technical Report},
  volume    = {{UMCS-00-6-1}},
  publisher = {Department of Computer Science, University of Manchester},
  year      = {2000},
  url       = {ftp://ftp.cs.man.ac.uk/pub/TR/UMCS-00-6-1.html},
  timestamp = {Tue, 11 Feb 2014 17:45:37 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/lopstr/2000ext},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics