Trends in modern exception handling

Abstract

Exception handling is nowadays a necessary component of error proof information systems. The paper presents overview of techniques and models of exception handling, problems connected with them and potential solutions. The aspects of implementation of propagation mechanisms and exception handling, their effect on semantics and general program efficiency are also taken into account. Presented mechanisms were adopted to modern programming languages. Considering design area, formal methods and formal verification of program properties we can notice exception handling mechanisms are weakly present what makes a field for future research. Obsługa wyjątków jest współcześnie nieodzownym składnikiem systemów informatycznych odpornych na błędy. W artykule przedstawiono przegląd technik i modeli obsługi błędów, związane z nimi problemy oraz ich potencjalne rozwiązania. Uwzględniono również zagadnienia dotyczące implementacji mechanizmów propagacji i obsługi błędów, ich wpływ na semantykę oraz ogólną efektywność programów. Przedstawione mechanizmy znalazły zastosowanie we współczesnych językach programowania. Jeśli chodzi o dziedzinę projektowania, metody formalne oraz formalne dowodzenie własności, to mechanizmy obsługi wyjątków nie są w nich dostatecznie reprezentowane, co stanowi pole dla nowych badań.