A Tool for Abstract Interpretation: Dynamic Programming

@inproceedings{Clergerie1991ATF,
  title={A Tool for Abstract Interpretation: Dynamic Programming},
  author={{\'E}ric Villemonte de la Clergerie},
  booktitle={JTASPEFT/WSA},
  year={1991}
}