Resumo
A disseminação de sistemas computacionais em atividades críticas tornou a confiabilidade uma característica indispensável a esses sistemas. Essa confiabilidade pode ser obtida através da utilização sistemática de mecanismos de tratamento de exceções. Porém, os mecanismos de tratamento de exceções existentes nas linguagens de programação orientadas a objetos apresentam várias limitações qu…