Analysis of the .NET CLR Exception Handling Mechanism

  title={Analysis of the .NET CLR Exception Handling Mechanism},
  author={Nicu G. Fruja and E. Barger},
  • Nicu G. Fruja, E. Barger
  • Published 2005
  • Computer Science
  • We provide a complete mathematical model for the exception handling mechanism of the Common Language Runtime (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. 
    7 Citations
    Type Safety of Generics for the .NET Common Language Runtime
    • 5
    • PDF
    Modeling the .NET CLR Exception Handling Mechanism for a Mathematical Analysis
    • 12
    • PDF
    A Modular Design for the Common Language Runtime (CLR) Architecture
    • 5
    • PDF
    Linking the Meaning of Programs to What the Compiler Can Verify
    • 3
    • PDF
    Linking the Verification of Compilable Code to the Application Content of Computer Based Systems


    The Correctness of the Definite Assignment Analysis in C#
    • 20
    • PDF
    A Practical Method for Specification and Analysis of Exception Handling - A Java/JVM Case Study
    • 25
    Exploiting Abstraction for Specification Reuse. The Java/C# Case Study
    • 18
    • PDF
    An ASM Specification of C# Threads and the .NET Memory Model
    • 31
    • PDF
    A high-level modular definition of the semantics of C#
    • 90
    • PDF
    Specification and Implementation Problems for C#
    • 17
    Typing a multi-language intermediate code
    • 95
    • PDF
    An Executable Specification of C++
    • 11
    Java and the Java Virtual Machine: Definition, Verification, Validation
    • 364
    • PDF
    Abstract State Machines. A Method for High-Level System Design and Analysis
    • 877
    • PDF