A constructive formalization of the catch and throw mechanism | IEEE Conference Publication | IEEE Xplore