First Page | Document Content | |
---|---|---|
Date: 2018-01-15 09:26:26Computing Computer architecture Concurrent computing Theoretical computer science Computer programming Refinement Abstract interpretation Memory barrier Abstraction Algorithm Thread | Synthesis of Memory Fences via Refinement Propagation Yuri Meshman2 , Andrei Dan1 , Martin Vechev1 , and Eran Yahav2 1 ETH ZurichAdd to Reading ListSource URL: practicalsynthesis.github.ioDownload Document from Source WebsiteFile Size: 417,68 KBShare Document on Facebook |