Automatic Construction of Prolog Primitives for Type Checking Analysis - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Pierre De Boeck, Baudouin Le Charlier. Automatic Construction of Prolog Primitives for Type Checking Analysis. In JTASPEFT/WSA. pages 165-172, 1991.

@inproceedings{BoeckC91,
  title = {Automatic Construction of Prolog Primitives for Type Checking Analysis},
  author = {Pierre De Boeck and Baudouin Le Charlier},
  year = {1991},
  tags = {Prolog, analysis, type checking},
  researchr = {https://researchr.org/publication/BoeckC91},
  cites = {0},
  citedby = {0},
  pages = {165-172},
  booktitle = {JTASPEFT/WSA},
}

runs on WebDSL