Specification and implementation problems for C#

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3052, Issue , 2004, Pages 127-143

  Fruja, Nicu G ^a  

^a ETH ZURICH   (Switzerland)

Author keywords

[No Author keywords available]

Indexed keywords

SEMANTICS;

ABSTRACT STATE MACHINES; CRITICAL CASE; DESIGN DECISIONS; LANGUAGE SPECIFICATION;

SPECIFICATIONS;

EID: 35048851226     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-24773-9_10     Document Type: Article

References (17)

1. E. Börger, N. G. Fruja, V. Gervasi, R. F. Stärk. A High-Level Modular Definition of the Semantics of C#. accepted for publication in Journal Theoretical Computer Science, 2004.
2. S. Wiltamuth and A. Hejlsberg. C# Language Specification. MSDN, 2003.
3. Common Language Infrastructure (CLI), Standard ECMA-335. http://www.ecma-international.org/publications/, 2002.
4. Microsoft .NET Framework 1.1 Software Development Kit. Download from http://msdn.microsoft.com/netframework/howtoget/
5. R. F. Stärk and J. Schmid and E. Börger. Java and the Java Virtual Machine-Definition, Verification, Validation. Springer-Verlag, 2001.
6. E. Börger and R. F. Stärk. Abstract State Machines. A Method for High-Level System Design and Analysis. Springer-Verlag, 2003.
7. D. Stutz and T. Neward and G. Shilling. Shared Source CLI Essentials. O'Reilly, 2003.
8. J. Gosling, B. Joy, G. Steele and G. Bracha. The Java(tm) Language Specification. Addison Wesley, second edition, 2000.
9. Visual Studio NET 2003 web site. http://msdn.microsoft.com/vstudio/
10. SSCLI community web site. http://www.sscli.net
11. The Mono project. Web pages at http://www.go-mono.com/c-sharp.html
12. T. Archer and A. Whitechapel. Inside C#. Microsoft Press, 2002.
13. J. Prosise. Programming Microsoft .NET. Microsoft Press, 2002.
14. J. Richter. Applied Microsoft NET Framework Programming. Microsoft Press, 2002.
15. J. Gough. Compiling for the NET. Common Language Runtime (CLR). Prentice-Hall, 2002.
16. N. G. Fruja. The correctness of the definite assignment analysis in C#. Technical Report 435, ETH Zürich, 2004.
17. Appendix. http://www.inf.ethz.ch/~fruja/publications/appendix.pdf