Dynamic Synthesis for Relaxed Memory Models - Research Collection

Metadata only

Author

Liu, Feng

Nedev, Nayden

Prisadnikov, Nedyalko

Vechev, Martin

Yahav, Eran

Date

2012-06

Type

Journal Article

Citations

Cited 7 times in Web of Science

ETH Bibliography

yes

Altmetrics

Publication status

published

External links

https://doi.org/10.1145/2345156.2254115

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

Notes

.

More

Show all metadata

Citations

Cited 7 times in Web of Science

ETH Bibliography

yes

Altmetrics