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: | Journal article |
| Published: |
Springer Verlag
2016
|