Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%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
}