BibTeX record conf/sas/BoeckC91

• > Home > conf/sas/BoeckC91

@inproceedings{DBLP:conf/sas/BoeckC91,
  author       = {Pierre De Boeck and
                  Baudouin Le Charlier},
  editor       = {Michel Billaud and
                  Pierre Cast{\'{e}}ran and
                  Marc{-}Michel Corsini and
                  Kaninda Musumbu and
                  Antoine Rauzy},
  title        = {Automatic Construction of Prolog Primitives for Type Checking Analysis},
  booktitle    = {Actes JTASPEFL'91 (Bordeaux, France), October 1991, Laboratoire Bordelais
                  de Recherche en Informatique (LaBRI), Proceedings},
  series       = {Series Bigre},
  volume       = {74},
  pages        = {165--172},
  publisher    = {Atelier Irisa, IRISA, Campus de Beaulieu},
  year         = {1991},
  timestamp    = {Thu, 12 Jul 2018 08:27:32 +0200},
  biburl       = {https://dblp.org/rec/conf/sas/BoeckC91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}