Synthesis of Memory Fences via Refinement Propagation - Research Collection

Metadata only

Author

Meshman, Yuri

Dan, Andrei M.

Vechev, Martin T.

Yahav, Eran

Date

2014

Type

Conference Paper

Citations

Cited 6 times in Web of Science

ETH Bibliography

yes

Altmetrics

Publication status

published

External links

https://doi.org/10.1007/978-3-319-10936-7_15

Book title

Static analysis : 21st International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014, Proceedings

Journal / series

Lecture Notes in Computer Science

Volume

8723

Pages / Article No.

237 - 252

Publisher

Springer

Event

21st International Static Analysis Symposium (SAS), Munich, Germany, September 11-13, 2014

Organisational unit

03948 - Vechev, Martin / Vechev, Martin

Notes

.

More

Show all metadata

Citations

Cited 6 times in Web of Science

ETH Bibliography

yes

Altmetrics