Search

Modeling the .NET CLR Exception Handling Mechanism for a Mathematical Analysis

By: Nicu G. Fruja, Egon Börger

Abstract

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 fills 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.

Cite as:

Nicu G. Fruja, Egon Börger, “Modeling the .NET CLR Exception Handling Mechanism for a Mathematical Analysis”, Journal of Object Technology, Volume 5, no. 3 (April 2006), pp. 5-34, doi:10.5381/jot.2006.5.3.a1.

PDF | HTML | DOI | BiBTeX | Tweet this | Post to CiteULike | Share on LinkedIn