Pages that link to "Item:Q555781"
From MaRDI portal
The following pages link to A high-level modular definition of the semantics of C\(_{\sharp}\) (Q555781):
Displaying 9 items.
- An operational semantics for object-oriented concepts based on the class hierarchy (Q736789) (← links)
- Securing the .NET programming model (Q860846) (← links)
- Towards verification of C\(\#\) programs: a three-level approach (Q885853) (← links)
- Towards proving type safety of .NET CIL (Q941469) (← links)
- Towards proving type safety of \(\mathrm{C}^{\#}\) (Q1749247) (← links)
- Construction and analysis of ground models and their refinements as a foundation for validating computer-based systems (Q2643128) (← links)
- Mechanized semantics for the clight subset of the C language (Q2655325) (← links)
- The Subject-Oriented Approach to Software Design and the Abstract State Machines Method (Q3223998) (← links)
- Neutralizing Semantic Ambiguities of Function Block Architecture by Modeling with ASM (Q3455059) (← links)
