@inproceedings{Knoop98:2,
  title = {Formal Callability and Its Relevance and Application to Interprocedural Data-Flow Analysis},
  author = {Jens Knoop},
  year = {1998},
  url = {http://computer.org/proceedings/iccl/8454/84540252abs.htm},
  tags = {analysis, data-flow, data-flow analysis},
  researchr = {https://researchr.org/publication/Knoop98%3A2},
  cites = {0},
  citedby = {0},
  pages = {252-261},
  booktitle = {ICCL},
}