A Tool for Abstract Interpretation: Dynamic Programming - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Eric Villemonte de la Clergerie. A Tool for Abstract Interpretation: Dynamic Programming. In JTASPEFT/WSA. pages 151-156, 1991.

@inproceedings{Clergerie91,
  title = {A Tool for Abstract Interpretation: Dynamic Programming},
  author = {Eric Villemonte de la Clergerie},
  year = {1991},
  tags = {programming},
  researchr = {https://researchr.org/publication/Clergerie91},
  cites = {0},
  citedby = {0},
  pages = {151-156},
  booktitle = {JTASPEFT/WSA},
}

runs on WebDSL