Strong exception-safety for Java-like languages

Marco Servetto. Strong exception-safety for Java-like languages. In Alessandra Cherubini, Mario Coppo, Giuseppe Persiano, editors, Theoretical Computer Science, 11th Italian Conference, ICTCS 2009, Cremona, Italy, September 28-30, 2009, Proceedings. pages 196-198, 2009.

Abstract

Abstract is missing.