BibTeX record journals/tcs/VanhoofB99

download as .bib file

@inproceedings{DBLP:journals/tcs/VanhoofB99,
  author       = {Wim Vanhoof and
                  Maurice Bruynooghe},
  editor       = {Michael Leuschel},
  title        = {Towards Modular Binding-Time Analysis for First-order Mercury},
  booktitle    = {Workshop on Optimization and Implementation of Declarative Programs,
                  {WOID} 1999, in connection with the International Conference on Logic
                  Programming, {ICLP} 1999, Las Cruces, New Mexico, USA, December 2-3,
                  1999},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {30},
  number       = {2},
  pages        = {189--198},
  publisher    = {Elsevier},
  year         = {1999},
  url          = {https://doi.org/10.1016/S1571-0661(05)80639-5},
  doi          = {10.1016/S1571-0661(05)80639-5},
  timestamp    = {Wed, 23 Nov 2022 16:52:42 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/VanhoofB99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics