A Control Flow Analysis for Safe and Boxed Ambients.

Francesca Levi, Chiara Bodei

Browse the full ESOP paper archive.