Abstract
Few exception-handling language proposals support secure and well-behaved activity termination in block-structured systems. This proposed mechanism does.

This publication has 5 references indexed in Scilit: