An ASM specification of C# threads and the NET memory model

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

Volumn 3052, Issue , 2004, Pages 38-60

  Stärk, Robert F ^a   Börger, Egon ^b  

^a ETH ZURICH   (Switzerland)

^b UNIVERSITY OF PISA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER SCIENCE; COMPUTERS;

COMPUTATION STEPS; MEMORY MODELING; MULTI PROCESSOR SYSTEMS; MULTI- THREADED APPLICATIONS; OPERATIONAL SEMANTICS; PARALLEL MODELS; SEQUENTIAL MODEL; TRUE CONCURRENCY;

SEMANTICS;

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

References (19)

1. V. Awhad and C. Wallace. A unified formal specification and analysis of the new Java memory models. In E. Börger, A. Gargantini, and E. Riccobene, editors, Abstract State Machines 2003-Advances in Theory and Applications, volume 2589 of Lecture Notes in Computer Science, pages 166-185. Springer-Verlag, 2003.
2. E. Börger, G. Fruja, V. Gervasi, and R. F. Stärk. A high-level modular definition of the semantics of C#. Theoretical Computer Science, 2004. To appear.
3. E. Börger and R. F. Stärk. Abstract State Machines - A Method for High-level System Design and Analysis. Springer-Verlag, 2003.
4. C# Language Specification. Standard ECMA-334, 2001. Web pages at http://www.ecma-international.org/.
5. Common Language Infrastructure (CLI). Standard ECMA-335, 2001. Web pages at http://www.ecma-international.org/.
6. Foundations of Software Engineering Group, Microsoft Research. AsmL, 2001. Web pages at http://research.microsoft.com/foundations/AsmL/.
7. J. Gosling, B. Joy, G. Steele, and G. Bracha. The Java(tm) Language Specification. Addison Wesley, second edition, 2000.
8. Y. Gurevich. Evolving algebras 1993: Lipari guide. In E. Börger, editor, Specification and Validation Methods, pages 9-36. Oxford University Press, 1993.
9. A. Hejlsberg, S. Wiltamuth, and P. Golde. C# Language Specification. Addison-Wesley, 2003.
10. Java(TM) Memory Model and Thread Specification Revision. Web pages at http://www.jcp.org/en/jsr/detail?id=133.
11. Microsoft .NET Framework 1.1 Software Development Kit. Download from http://msdn.microsoft.com/netframework/howtoget/.
12. The Mono project. Web pages at http://www.go-mono.com/.
13. V. Morrison. The DOTNET Memory Model. dotnet@discuss.develop.com mailing list, 2002.
14. J. Richter. Safe thread synchronization. MSDN Magazine, NET column, January 2003.
15. A. G. Robison. Memory consistency & .NET. Dr. Dobb's Journal, April 2003.
16. Rotor - Shared Source Common Language Infrastructure (SSCLI). Web pages at http://msdn.microsoft.com/net/sscli/ and http://www.sscli.net/.
17. R. F. Stärk, J. Schmid, and E. Börger. Java and the Java Virtual Machine - Definition, Verification, Validation. Springer-Verlag, 2001.
18. D. Stutz, T. Neward, and G. Shilling. Shared Source CLI Essentials. O'Reilly, 2003.
19. C. von Praun and T. Gross. Static conflict analysis for multi-threaded object-oriented programs. In PLDI 2003, pages 115-128, June 2003.