Analysis of the .NET CLR Exception Handling Mechanism
Nicu G. Fruja, Börger, Egon · Repository for Publications and Research Data (ETH Zurich) · 2005
We provide a complete mathematical model for the exception handling mechanism of the Common Language Run time (CLR), the virtual machine underlying the interpretation of .NET programs. The goal is to use this rigorous model in the corresponding part of the still-to-be-developed soundness proof for the CLR bytecode verifier.