Dynamic Synthesis for Relaxed Memory Models

Thumbnail
Metadata only
Author
Liu, Feng
Nedev, Nayden
Prisadnikov, Nedyalko
Vechev, Martin
Yahav, Eran
Show all
Date
2012-06
Type
  • Journal Article
Publication status
published
External links
Search via SFX
Journal / series
ACM SIGPLAN Notices
Volume
47(6)
Pages / Article No.
429 - 439
Publisher
Association for Computing Machinery
Subject
Concurrency; Synthesis; Relaxed Memory Models; Weak Memory Models
Organisational unit
03948 - Vechev, Martin / Vechev, Martin  
Notes
.
More
Show all metadata
Citations
Cited 7 times in Web of Science
ETH Bibliography
yes
Altmetrics