Abstract
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#.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Börger, E., Fruja, N.G., Gervasi, V., Stärk, R.F.: A High–Level Modular Definition of the Semantics of C#. Accepted for publication in Journal Theoretical Computer Science (2004)
Wiltamuth, S., Hejlsberg, A.: C# Language Specification. MSDN (2003)
Common Language Infrastructure (CLI), Standard ECMA–335 (2002), http://www.ecma-international.org/publications/
Microsoft .NET Framework 1.1 Software Development Kit. Download from, http://msdn.microsoft.com/netframework/howtoget/
Stärk, R.F., Schmid, J., Börger, E.: Java and the Java Virtual Machine– Definition, Verification, Validation. Springer, Heidelberg (2001)
Börger, E., Stärk, R.F.: Abstract State Machines. A Method for High–Level System Design and Analysis–Verlag. Springer, Heidelberg (2003)
Stutz, D., Neward, T., Shilling, G.: Shared Source CLI Essentials. O’Reilly, Sebastopol (2003)
Gosling, J., Joy, B., Steele, G., Bracha, G.: The Java(tm) Language Specification, 2nd edn. Addison Wesley, Reading (2000)
Visual Studio.NET (2003), web site, http://msdn.microsoft.com/vstudio/
SSCLI community web site, http://www.sscli.net
The Mono project, Web pages at http://www.go-mono.com/c-sharp.html
Archer, T., Whitechapel, A.: Inside C#. Microsoft Press, Redmond (2002)
J. Prosise. Programming Microsoft .NET. Microsoft Press, 2002.
Richter, J.: Applied Microsoft.NET Framework Programming. Microsoft Press, Redmond (2002)
Gough, J.: Compiling for the.NET. Common Language Runtime (CLR). Prentice-Hall, Englewood Cliffs (2002)
Fruja, N.G.: The correctness of the definite assignment analysis in C#. Technical Report 435, ETH Zürich (2004)
Appendix, http://www.inf.ethz.ch/~fruja/publications/appendix.pdf
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Fruja, N.G. (2004). Specification and Implementation Problems for C#. In: Zimmermann, W., Thalheim, B. (eds) Abstract State Machines 2004. Advances in Theory and Practice. ASM 2004. Lecture Notes in Computer Science, vol 3052. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-24773-9_10
Download citation
DOI: https://doi.org/10.1007/978-3-540-24773-9_10
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-22094-7
Online ISBN: 978-3-540-24773-9
eBook Packages: Springer Book Archive