Open access
Datum
2003Typ
- Report
ETH Bibliographie
yes
Altmetrics
Abstract
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 [2]. Mehr anzeigen
Persistenter Link
https://doi.org/10.3929/ethz-a-006731851Publikationsstatus
publishedZeitschrift / Serie
Technical reportBand
Verlag
ETH, Department of Computer ScienceThema
PROGRAMMING ENVIRONMENTS (SOFTWARE ENGINEERING); SPEZIFIKATIONEN (SOFTWARE ENGINEERING); SPECIFICATIONS (SOFTWARE ENGINEERING); C++ (PROGRAMMIERSPRACHEN); C++ (PROGRAMMING LANGUAGES); PROGRAMMIERUMGEBUNGEN (SOFTWARE ENGINEERING)Organisationseinheit
02150 - Dep. Informatik / Dep. of Computer Science
Anmerkungen
Technical Reports D-INFK.ETH Bibliographie
yes
Altmetrics