Treffer: Incremental Analysis of Constraint Logic Programs.

Presents information on a study which described how fixed-point algorithms used in generic analysis engines for logic programming languages can be extended to support incremental analysis. Program analysis by abstract interpretation; Analysis of the incremental addition algorithm; Deletion of rules from analyzed program; Case example of program modification.