论文信息 - Specification and Implementation Problems for C#

Specification and Implementation Problems for C#

During the attempts to build an Abstract State Machine (ASM) model for the semantics of C# programs, we tried to directly and faithfully reflect the intuitions and design decisions which are expressed in the C# Language Specification. This work and the comparison between the corresponding ASM models for C# and Java brought to light a few gaps and mistakes in the C# reference manual, inconsistencies with different implementations of C#. Some of these critical cases (especially the gaps) will be fully and correctly specified here by ASM rules of the model for C#.

Nicu G. Fruja

[1] Egon Börger,et al. Abstract State Machines. A Method for High-Level System Design and Analysis , 2003 .

[2] John John Gough,et al. Compiling for the .NET Common Language Runtime , 2001 .

[3] Andrew Whitechapel,et al. Inside C , 2001 .

[4] Nicu G. Fruja. The Correctness of the Definite Assignment Analysis in C# , 2004, J. Object Technol..

[5] Guy L. Steele,et al. Java(TM) Language Specification , 2005 .

[6] Gregory H. Harris,et al. Review of "Abstract state machines: a method for high-level system design and analysis" by Egon Börger and Robert Stärk. Springer-Verlag 2003. , 2004, SOEN.

[7] Jeffrey Richter. Applied Microsoft .NET Framework Programming , 2002 .

[8] Peter H. Golde,et al. C# Language Specification , 2003 .

[9] Prof. Dr. Robert F. Stärk,et al. Java and the Java Virtual Machine , 2001, Springer Berlin Heidelberg.

[10] Guy L. Steele,et al. Java(TM) Language Specification, The (3rd Edition) (Java (Addison-Wesley)) , 2005 .

[11] Egon Börger,et al. A high-level modular definition of the semantics of C# , 2005, Theor. Comput. Sci..

[12] Jeff Prosise. Programming Microsoft .NET , 2002 .

[13] David Stutz,et al. Shared source CLI essentials , 2003 .

[14] Egon Börger,et al. Abstract State Machines , 2003 .

[15] Egon Börger,et al. Java and the Java Virtual Machine: Definition, Verification, Validation , 2001 .