DBLP Record 'conf/jfplc/CodognetCC90'

BibTeX

@inproceedings{DBLP:conf/jfplc/CodognetCC90,
  author    = {Christian Codognet and
               Philippe Codognet and
               Marc-Michel Corsini},
  title     = {Abstract Interpretation from Prolog to Concurrent Prolog},
  booktitle = {SPLT},
  year      = {1990},
  pages     = {351-370},
  crossref  = {DBLP:conf/jfplc/1990},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/jfplc/1990,
  editor    = {Serge Bourgault and
               Mehmet Dincbas},
  title     = {SPLT'90, 8$^{\mbox{{\`e}me}}$ S{\'e}minaire Programmation
               en Logique, 16-18 mai 1990, Tr{\'e}gastel, France},
  booktitle = {SPLT},
  year      = {1990},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}