增量计算

静态实现和动态实现

增量计算在技术实现上可以大致分为两种类型：
静态方法 试图从现有的程序P中派生出一个增量计算程序。例如可以采取进行程序的重新设计、程序重构的手段，或者使用工具自动生成增量计算程序。这种程序的转换需要发生在输入或是输入的变化量出现之前。
动态方法 记录运行中的程序P在接受某个特定输入（l1）时的信息。当这P接受另一个输入（l2）时，把这些信息用于计算并更新输出结果（从O1变化到O2）。图示中显示了：程序P；构成增量计算程序的核心的变化量计算函数ΔP；以及两组输入和输出（I1，O1和I2，O2）。

专用实现和通用实现

某一些实现增量计算的方法是只适用于特定程序的专用实现方法，但也有一些可以普遍适用于任何程序的通用方法。专用实现方法需要程序员特别指定用于保存未修改子计算的算法和数据结构。通用实现方法则会使用编程语言特性、编译器功能或者一些算法来给非增量计算程序赋予增量计算的行为。