1. Amey, P., Chapman, R.: Industrial Strength Exception Freedom. In: 2002 SIGAda Intl. Conf. on Ada, pp. 1–9. ACM, New York (2002)
2. Appel, A.: Foundational proof-carrying code. In: LICS-16, pp. 247–258. IEEE, Los Alamitos (2001)
3. Foster, J.S., Fähndrich, M., Aiken, A.: A Theory of Type Qualifiers. In: PLDI, pp. 192–203. ACM, New York (1999)
4. Flanagan, C., Leino, K.R.M., Lillibridge, M., Nelson, G., Saxe, J.B., Stata, R.: Extended static checking for Java. In: PLDI, pp. 234–245. ACM, New York (2002)
5. ENTCS;K. Havelund,2001