Abstract Interpretation for Type Checking - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Gilberto Filé, P. Sottero. Abstract Interpretation for Type Checking. In PLILP. pages 311-322, 1991.

@inproceedings{FileS91,
  title = {Abstract Interpretation for Type Checking},
  author = {Gilberto Filé and P. Sottero},
  year = {1991},
  tags = {type checking},
  researchr = {https://researchr.org/publication/FileS91},
  cites = {0},
  citedby = {0},
  pages = {311-322},
  booktitle = {PLILP},
}

runs on WebDSL