Stem ifd$ (all stems)

3 papers:

ICSE-2014-ArztB #analysis #data flow #incremental #named

Reviser: efficiently updating IDE-/IFDS-based data-flow analyses in response to incremental program changes (SA, EB), pp. 288–298.

CC-2010-NaeemLR #algorithm

Practical Extensions to the IFDS Algorithm (NAN, OL, JR), pp. 124–144.

SAC-1996-LeeL #concurrent #constraints #incremental #query

Incremental querying in the concurrent CLP language IFD-Constraint Pandora (JHML, HfL), pp. 387–392.