A Generic Abstract Interpretation Algorithm and its Complexity Analysis - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Baudouin Le Charlier, Kaninda Musumbu, Pascal Van Hentenryck. A Generic Abstract Interpretation Algorithm and its Complexity Analysis. In ICLP. pages 64-78, 1991.

@inproceedings{CharlierMH91,
  title = {A Generic Abstract Interpretation Algorithm and its Complexity Analysis},
  author = {Baudouin Le Charlier and Kaninda Musumbu and Pascal Van Hentenryck},
  year = {1991},
  tags = {analysis, Pascal},
  researchr = {https://researchr.org/publication/CharlierMH91},
  cites = {0},
  citedby = {0},
  pages = {64-78},
  booktitle = {ICLP},
}

runs on WebDSL