The Correctness of the Definite Assignment Analysis in C#
暂无分享,去创建一个
[1] Peter H. Golde,et al. C# Language Specification , 2003 .
[2] John John Gough,et al. Compiling for the .NET Common Language Runtime , 2001 .
[3] Nicu G. Fruja. The correctness of the definite assignment analysis in C , 2004 .
[4] Egon Börger,et al. Java and the Java Virtual Machine: Definition, Verification, Validation , 2001 .
[5] A. Tarski. A LATTICE-THEORETICAL FIXPOINT THEOREM AND ITS APPLICATIONS , 1955 .
[6] Norbert Schirmer. Java Definite Assignment in Isabelle/HOL , 2003 .
[7] Flemming Nielson,et al. Principles of Program Analysis , 1999, Springer Berlin Heidelberg.
[8] Nicu G. Fruja. Specification and Implementation Problems for C# , 2004, Abstract State Machines.
[9] David Stutz,et al. Shared source CLI essentials , 2003 .
[10] Egon Börger,et al. A high-level modular definition of the semantics of C# , 2005, Theor. Comput. Sci..