Stärk, Robert F.
Rights / licenseIn Copyright - Non-Commercial Use Permitted
We present a high-level ASM model of C# threads and the .NET memory model. We focus on purely managed, fully portable threading features of C#. The sequential model interleaves the computation steps of the currently running threads and is suitable for uniprocessors. The parallel model addresses problems of true concurrency on multiprocessor systems. The models provide a sound basis for the development of multi-threaded applications in C#. The thread and memory models complete the abstract operational semantics of C# in  Show more
Journal / seriesTechnical report
PublisherETH, Department of Computer Science
SubjectPROGRAMMING ENVIRONMENTS (SOFTWARE ENGINEERING); SPEZIFIKATIONEN (SOFTWARE ENGINEERING); SPECIFICATIONS (SOFTWARE ENGINEERING); C++ (PROGRAMMIERSPRACHEN); C++ (PROGRAMMING LANGUAGES); PROGRAMMIERUMGEBUNGEN (SOFTWARE ENGINEERING)
Organisational unit02150 - Departement Informatik / Department of Computer Science
NotesTechnical Reports D-INFK.
MoreShow all metadata