An ASM Specification of C# Threads and the .NET Memory Model
暂无分享,去创建一个
[1] David Stutz,et al. Shared source CLI essentials , 2003 .
[2] Thomas R. Gross,et al. Static conflict analysis for multi-threaded object-oriented programs , 2003, PLDI '03.
[3] Egon Börger,et al. A high-level modular definition of the semantics of C# , 2005, Theor. Comput. Sci..
[4] Guy L. Steele,et al. Java(TM) Language Specification , 2005 .
[5] Ecma,et al. Common Language Infrastructure (CLI) , 2001 .
[6] Guy L. Steele,et al. Java(TM) Language Specification, The (3rd Edition) (Java (Addison-Wesley)) , 2005 .
[7] Yuri Gurevich,et al. Evolving algebras 1993: Lipari guide , 1995, Specification and validation methods.
[8] Peter H. Golde,et al. C# Language Specification , 2003 .
[9] Egon Börger,et al. Java and the Java Virtual Machine: Definition, Verification, Validation , 2001 .
[10] Egon Börger,et al. Abstract State Machines. A Method for High-Level System Design and Analysis , 2003 .
[11] Prof. Dr. Robert F. Stärk,et al. Java and the Java Virtual Machine , 2001, Springer Berlin Heidelberg.
[12] 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.
[13] Charles Wallace,et al. A Unified Formal Specification and Analysis of the New Java Memory Models , 2003, Abstract State Machines.