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

  title={Modeling the .NET CLR Exception Handling Mechanism for a Mathematical Analysis},
  author={Nicu G. Fruja and E. B{\"o}rger},
  journal={J. Object Technol.},
  • Nicu G. Fruja, E. Börger
  • Published 2006
  • Computer Science
  • J. Object Technol.
  • This work is part of a larger project [17] which aims at establishing some important properties of C] and CLR by mathematical proofs. [...] Key Method We reuse the method developed for similar work for Java and the Java Virtual Machine (JVM) in [25]. As part of this effort, in [5, 13, 20] an abstract interpreter has been developed for C], including a thread and memory model [24, 23]; see also [8] for a comparative view of the abstract interpreters for Java and for C].Expand Abstract
    12 Citations
    Towards proving type safety of .NET CIL
    • 8
    The abstract state machines method for modular design and analysis of programming languages
    • 6
    • PDF
    Modularizing Theorems for Software Product Lines: The Jbook Case Study
    • 41
    • PDF
    Linking the Meaning of Programs to What the Compiler Can Verify
    • 3
    • PDF
    On The Modularization of Theorems for Software Product Lines
    • 1
    • PDF
    Towards proving type safety of C#
    • 5
    The Subject-Oriented Approach to Software Design and the Abstract State Machines Method
    • E. Börger
    • Computer Science
    • Conceptual Modelling and Its Theoretical Foundations
    • 2012
    • 8
    • PDF
    Coupling Design and Verification in Software Product Lines
    • 4
    • PDF


    A Practical Method for Specification and Analysis of Exception Handling - A Java/JVM Case Study
    • 26
    Formal specification and verification of the C# thread model
    • R. Stärk
    • Computer Science
    • Theor. Comput. Sci.
    • 2005
    • 16
    A high-level modular definition of the semantics of C#
    • 91
    • PDF
    Analysis of the .NET CLR Exception Handling Mechanism
    • 7
    • PDF
    Typing a multi-language intermediate code
    • 96
    • PDF
    Specification and Implementation Problems for C#
    • 17
    An Executable Specification of C++
    • 11
    The Correctness of the Definite Assignment Analysis in C#
    • 20
    • PDF
    An ASM Specification of C# Threads and the .NET Memory Model
    • 31
    • PDF