In addition to the early publications, I would also recommend section 2 of T. Gilray et al.'s "Pushdown Control-Flow Analysis for Free" (POPL '16) as a slightly higher-level introduction to AAM [1]. It's the cleanest…
In addition to the early publications, I would also recommend section 2 of T. Gilray et al.'s "Pushdown Control-Flow Analysis for Free" (POPL '16) as a slightly higher-level introduction to AAM [1]. It's the cleanest…