%0 Conference Paper %1 conf/sas/BoeckC91 %A Boeck, Pierre De %A Charlier, Baudouin Le %B JTASPEFT/WSA %D 1991 %E Billaud, Michel %E Castéran, Pierre %E Corsini, Marc-Michel %E Musumbu, Kaninda %E Rauzy, Antoine %I Atelier Irisa, IRISA, Campus de Beaulieu %K dblp %P 165-172 %T Automatic Construction of Prolog Primitives for Type Checking Analysis. %U http://dblp.uni-trier.de/db/conf/sas/wsa91.html#BoeckC91 %V 74

@inproceedings{conf/sas/BoeckC91, added-at = {2015-09-02T00:00:00.000+0200}, author = {Boeck, Pierre De and Charlier, Baudouin Le}, biburl = {https://www.bibsonomy.org/bibtex/2ae273b3bc2bf74b38f9b88515579fe74/dblp}, booktitle = {JTASPEFT/WSA}, crossref = {conf/sas/1991}, editor = {Billaud, Michel and Castéran, Pierre and Corsini, Marc-Michel and Musumbu, Kaninda and Rauzy, Antoine}, interhash = {bc4d2933987aa741429a6c192ff74ba8}, intrahash = {ae273b3bc2bf74b38f9b88515579fe74}, keywords = {dblp}, pages = {165-172}, publisher = {Atelier Irisa, IRISA, Campus de Beaulieu}, series = {Series Bigre}, timestamp = {2018-07-18T11:43:07.000+0200}, title = {Automatic Construction of Prolog Primitives for Type Checking Analysis.}, url = {http://dblp.uni-trier.de/db/conf/sas/wsa91.html#BoeckC91}, volume = 74, year = 1991 }