Formalizing and Checking Thread Refinement for Data-Race-Free Execution Models
When optimizing a thread in a concurrent program (either done manually or by the compiler), it must be guaranteed that the resulting thread is a refinement of the original thread. Most definitions of refinement are formulated in terms of valid syntactic transformations on the program code, or in ter...
| Main Authors: | , |
|---|---|
| Format: | Conference item |
| Published: |
Springer Verlag
2016
|