A posteriori environment analysis with Pushdown Delta CFA.

Kimball Germane, Matthew Might

Browse the full POPL paper archive.