BibTeX record conf/ppdp/KollerM00

download as .bib file

@inproceedings{DBLP:conf/ppdp/KollerM00,
  author    = {J{\"{o}}rg K{\"{o}}ller and
               Markus Mohnen},
  editor    = {Maurizio Gabbrielli and
               Frank Pfenning},
  title     = {Efficient abstract interpretation using component-wise homomorphisms},
  booktitle = {Proceedings of the 2nd international {ACM} {SIGPLAN} conference on
               on Principles and practice of declarative programming, Montreal, Canada,
               September 20-23, 2000},
  pages     = {226--234},
  publisher = {{ACM}},
  year      = {2000},
  url       = {https://doi.org/10.1145/351268.351294},
  doi       = {10.1145/351268.351294},
  timestamp = {Tue, 27 Nov 2018 15:52:28 +0100},
  biburl    = {https://dblp.org/rec/conf/ppdp/KollerM00.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics