Eintrag weiter verarbeiten
Verfügbar über Online-Ressource

Velodrome : a sound and complete dynamic atomicity checker for multithreaded programs: a sound and complete dynamic atomicity checker for multithreaded programs

Gespeichert in:

Bibliographische Detailangaben
Zeitschriftentitel: ACM SIGPLAN Notices
Personen und Körperschaften: Flanagan, Cormac, Freund, Stephen N., Yi, Jaeheon
In: ACM SIGPLAN Notices, 43, 2008, 6, S. 293-303
Format: E-Article
Sprache: Englisch
veröffentlicht:
Association for Computing Machinery (ACM)
Schlagwörter: