Portal de Periódicos da CAPES

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

2006; EtH Zurich; Volume: 5; Issue: 3 Linguagem: Inglês

10.5381/jot.2006.5.3.a1

1660-1769

Nicu G. Fruja, Egon Börger,

Real-Time Systems Scheduling

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.