Modeling the .NET CLR Exception Handling Mechanism for a Mathematical Analysis.
Nicu G. Fruja, Egon Börger · The Journal of Object Technology · 2006
We provide a mathematical reference model for the exception handling mechanism of the Common Language Runtime (CLR), the virtual machine underlying the interpretation of .NET programs.The model filles some gap in the ECMA standard for CLR and is used to sketch the exception handling related part of a soundness proof for the CLR bytecode verifier.