Dynamic Synthesis for Relaxed Memory Models

Metadata only

Author

Date

2012-06

Type

Journal Article

ETH Bibliography

yes

Altmetrics

Publication status

published

External links

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

More

ETH Bibliography

yes

Altmetrics

Research Collection