An Incremental Algorithm for Algebraic Program Analysis

Chenyu Zhou, Yuzhou Fang, Jingbo Wang +1

We propose a method for conducting algebraic program analysis (APA) incrementally in response to changes of the program under analysis. APA is a program analysis paradigm that cons…