Reexecution in Abstract Interpretation of Prolog - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Baudouin Le Charlier, Pascal Van Hentenryck. Reexecution in Abstract Interpretation of Prolog. Acta Informatica, 32(3):209-270, 1995.

@article{CharlierH95,
  title = {Reexecution in Abstract Interpretation of Prolog},
  author = {Baudouin Le Charlier and Pascal Van Hentenryck},
  year = {1995},
  tags = {Prolog, Pascal},
  researchr = {https://researchr.org/publication/CharlierH95},
  cites = {0},
  citedby = {0},
  journal = {Acta Informatica},
  volume = {32},
  number = {3},
  pages = {209-270},
}

runs on WebDSL