A high-level modular definition of the semantics of C\(_{\sharp}\)
From MaRDI portal
Publication:555781
DOI10.1016/j.tcs.2004.11.008zbMath1080.68006OpenAlexW2006674970MaRDI QIDQ555781
Nicu G. Fruja, Robert F. Stärk, Egon Börger, Vincenzo Gervasi
Publication date: 10 June 2005
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.tcs.2004.11.008
Related Items
Neutralizing Semantic Ambiguities of Function Block Architecture by Modeling with ASM, Construction and analysis of ground models and their refinements as a foundation for validating computer-based systems, Securing the .NET programming model, Mechanized semantics for the clight subset of the C language, Towards verification of C\(\#\) programs: a three-level approach, The Subject-Oriented Approach to Software Design and the Abstract State Machines Method, Towards proving type safety of .NET CIL, Towards proving type safety of \(\mathrm{C}^{\#}\), An operational semantics for object-oriented concepts based on the class hierarchy
Uses Software
Cites Work
- The ASM refinement method
- Formal methods for industrial applications. Specification and programming the Steam Boiler Control
- Formal stystems specification. The RPC-memory specification case study
- Formal development of reactive systems. Case study production cell
- Abstract state machines: a unifying view of models of computation and of system design frameworks
- Abstract State Machines
- Typing a multi-language intermediate code
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item