A Modular Design for the Common Language Runtime (CLR) Architecture

  title={A Modular Design for the Common Language Runtime (CLR) Architecture},
  author={Nicu G. Fruja},
  booktitle={Abstract State Machines},
  • Nicu G. Fruja
  • Published in Abstract State Machines 2005
  • Computer Science
  • This paper provides a modular high-level design of the Common Language Runtime (CLR) architecture. Our design is given in terms of Abstract State Machines (ASMs) and takes the form of an interpreter. We describe the CLR as a hierarchy of eight submachines, which correspond to eight submodules into which the Common Intermediate Language (CIL) instruction set can be decomposed. 
    5 Citations
    Modeling the .NET CLR Exception Handling Mechanism for a Mathematical Analysis
    • 12
    • PDF
    The abstract state machines method for modular design and analysis of programming languages
    • 6
    • Highly Influenced
    • PDF
    Coupling Design and Verification in Software Product Lines
    • 4
    • PDF
    The ASM Method: a Cornerstone in Computer Science Education
    • E. Börger
    • Computer Science
    • Abstract State Machines
    • 2005
    • 1
    A tribute
    • Deepak Chauhan
    • Medicine
    • Journal of the Indian Society of Pedodontics and Preventive Dentistry
    • 2016


    Analysis of the .NET CLR Exception Handling Mechanism
    • 7
    • PDF
    A high-level modular definition of the semantics of C#
    • 90
    • PDF
    An Executable Specification of C++
    • 11
    Specification and Implementation Problems for C#
    • 17
    The Correctness of the Definite Assignment Analysis in C#
    • 20
    • PDF
    Stacking them up: a comparison of virtual machines
    • 34
    Typing a multi-language intermediate code
    • 95
    • PDF
    Compiling for the .NET Common Language Runtime
    • 39
    Java and the Java Virtual Machine: Definition, Verification, Validation
    • 364
    • Highly Influential
    • PDF
    Abstract State Machines. A Method for High-Level System Design and Analysis
    • 877
    • PDF