A high-level modular definition of the semantics of C\(_{\sharp}\)

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

zbMATH Keywords

JavaAbstract State MachinesC\(_{\sharp}\)NETSemantics of programming languages

Mathematics Subject Classification ID

Theory of programming languages (68N15) Semantics in the theory of computing (68Q55)

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

• Visual C#
• Mono

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