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

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 presentation I've seen to date. [1] http://arxiv.org/abs/1507.03137 http://arxiv.org/abs/1507.03137