The correctness of the definite assignment analysis in C#

Journal of Object Technology

Volumn 3, Issue 9 SPEC. ISS., 2004, Pages 29-52

  Fruja, Nicu G ^a  

^a ETH ZURICH   (Switzerland)

Author keywords

[No Author keywords available]

Indexed keywords

APPROXIMATION THEORY; BOOLEAN FUNCTIONS; CODES (SYMBOLS); COMPUTATIONAL METHODS; DATA FLOW ANALYSIS; SET THEORY; THEOREM PROVING;

BYTECODE; DATA FLOW EQUATIONS; JAVA COMPILERS; SOURCE CODES;

JAVA PROGRAMMING LANGUAGE;

EID: 18144408623     PISSN: 16601769     EISSN: 16601769     Source Type: Journal    
DOI: 10.5381/jot.2004.3.9.a2     Document Type: Article

References (13)

1. S. Wiltamuth and A. Hejlsberg. C# Language Specification. MSDN, 2003.
2. Microsoft .NET Framework 1.1 Software Development Kit. Download from http://msdn.microsoft.com/netframework/howtoget/.
3. Rotor-Shared Source Common Language Infrastructure (SSCLI). Web pages at http://msdn.microsoft.com/net/sscli/ and http://www.sscli.net/.
4. The Mono project. Web pages at http://www.go-mono.com/.
5. N. G. Fruja. The Correctness of the Definite Assignment Analysis in C#. Technical Report 435, ETH Zürich, 2004. http://www.inf.ethz.ch/~fruja.
6. R. F. Stärk, J. Schmid, E. Börger. Java and the Java Virtual Machine-Definition, Verification, Validation. Springer-Verlag, 2001.
7. N. Schirmer. Java Definite Assignment in Isabelle/HOL. Proceedings of the Workshop on Formal Techniques for Java-like Programs (FTfJP'03), Germany, pages 13-21, 2003.
8. F. Nielson, H.R. Nielson, C. Hankin. Principles of Program Analysis. Springer-Verlag, 1999.
9. D. Grune, H. Bal, C. Jacobs, K. Langendoen. Modern Compiler Design. Wiley, 2000.
10. J. Gough. Compiling for the .NET. Common Language Runtime (CLR). Prentice Hall, 2002.
11. E. Börger, N. G. Fruja, V. Gervasi, R. F. Stärk. A High-Level Modular Definition of the Semantics of C#. To appear in Journal Theoretical Computer Science, 2004.
12. N. G. Fruja. Specification and Implementation Problems for C#. Proceedings of the Workshop on Abstract State Machines (ASM'04), Germany, pages 127-143, 2004.
13. A. Tarski. A lattice-theoretical fix-point theorem and its applications. Pacific Journal of Mathematics 5, 1955.