Automatic Discovery of Linear Restraints Among Variables of a Program

Patrick Cousot, Nicolas Halbwachs. Automatic Discovery of Linear Restraints Among Variables of a Program. In POPL. pages 84-96, 1978.

@inproceedings{CousotH78,
  title = {Automatic Discovery of Linear Restraints Among Variables of a Program},
  author = {Patrick Cousot and Nicolas Halbwachs},
  year = {1978},
  tags = {discovery},
  researchr = {https://researchr.org/publication/CousotH78},
  cites = {0},
  citedby = {0},
  pages = {84-96},
  booktitle = {POPL},
}