Strong exception-safety for Java-like languages

Proceedings of the 12th Workshop on Formal Techniques for Java-Like Programs - FTFJP '10 ◽

10.1145/1924520.1924523 ◽

2010 ◽

Author(s):

Giovanni Lagorio ◽

Marco Servetto

Download Full-text