BibTeX record conf/lopstr/BuenoBHMPS00a

• > Home > conf/lopstr/BuenoBHMPS00a

@inproceedings{DBLP:conf/lopstr/BuenoBHMPS00a,
  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},
  editor       = {Kung{-}Kiu Lau},
  title        = {A Model for Inter-module Analysis and Optimizing Compilation},
  booktitle    = {Logic Based Program Synthesis and Transformation, 10th International
                  Workshop, {LOPSTR} 2000 London, UK, July 24-28, 2000, Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {2042},
  pages        = {86--102},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-45142-0\_6},
  doi          = {10.1007/3-540-45142-0\_6},
  timestamp    = {Tue, 14 May 2019 10:00:41 +0200},
  biburl       = {https://dblp.org/rec/conf/lopstr/BuenoBHMPS00a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}