BibTeX record conf/tic/AikenFFS98

download as .bib file

@inproceedings{DBLP:conf/tic/AikenFFS98,
  author    = {Alexander Aiken and
               Manuel F{\"{a}}hndrich and
               Jeffrey S. Foster and
               Zhendong Su},
  title     = {A Toolkit for Constructing Type- and Constraint-Based Program Analyses},
  booktitle = {Types in Compilation, Second International Workshop, {TIC} '98, Kyoto,
               Japan, March 25-27, 1998, Proceedings},
  pages     = {78--96},
  year      = {1998},
  crossref  = {DBLP:conf/tic/1998},
  url       = {https://doi.org/10.1007/BFb0055513},
  doi       = {10.1007/BFb0055513},
  timestamp = {Tue, 14 May 2019 10:00:38 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tic/AikenFFS98},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tic/1998,
  editor    = {Xavier Leroy and
               Atsushi Ohori},
  title     = {Types in Compilation, Second International Workshop, {TIC} '98, Kyoto,
               Japan, March 25-27, 1998, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {1473},
  publisher = {Springer},
  year      = {1998},
  url       = {https://doi.org/10.1007/BFb0055508},
  doi       = {10.1007/BFb0055508},
  isbn      = {3-540-64925-5},
  timestamp = {Tue, 14 May 2019 10:00:38 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tic/1998},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics