Modular Software Fault Isolation as Abstract Interpretation.

Frdric Besson, Thomas P. Jensen, Julien Lepiller

Browse the full SAS paper archive.