Search - Articles
DevASP.NET for ASP.NET, VB.NET, XML and C# (C-Sharp) Developers Wednesday, January 17, 2018

Dev Articles
Search Directory
SQL Server

Home > Search > Sample Chapters > C-Sharp
An Executable Specification of C #        
Total Hits: 213  |  Today: 0 Author: Horatiu V. Jula, Nicu G. Fruja       Rating:  
Read Reviews | Write Review | Your Rating: 

In this paper we present our implementation of the Abstract State Machine(ASM) model, that has been defined in [4] to formalize the C# static and dynamic semantics. We show all the techniques we have used to get an efficient execution.
This work is part of a larger project which aims to establish some outstanding properties of C# and CLR virtual machine by mathematical proofs, such as the C# type safety and the correctness of the CLR bytecode verifier. As part of this
effort, an ASM model in form of an abstract interpreter has been developed in [4] for the full C# , including a thread and memory model [11]. The implementation of the..

What's New at DevASP.Net
04/23  A Debug Stopwatch
04/23  The virtual bool bug
04/23  Application.EnableVisualStyles Bu..
04/23  The Process Async Reader Bug
04/23  Load a DBF into a DataTable
04/23  Weird Error: Unable to Validate D..
04/23  ASP.NET and jQuery to the Max
04/23  Fixing Error: "SetConfigurationSe..
04/23  Generics in .NET
04/23  Builder Design Pattern
04/23  Abstract Factory Design Pattern
04/23  Prototype Design Pattern
04/23  Bridge Design Pattern
04/23  Composite Design Pattern
04/23  Decorator Design Pattern
04/23  Validation in .NET Framework 4
04/23  Windows Phone 7: How to Encrypt C..
04/23  Text box to accept only number
04/23  Using the Raw Input API to Proces..
04/23  Study EVM (Earned Value Managemen..

DevASP.Net - Disclaimer - Privacy