Publication

Effect Analysis for Programs with Callbacks