| Title: | Lost in Abstraction: Monotonicity in Multi-Threaded Programs |
|---|---|
| Links: | Homepage Document as PDF |
| Authors: | Alexander Kaiser |
| Daniel Kroening EMail | |
| Thomas Wahl | |
| Remarks: | |
| Topics: |
Bibtex:
@article{kkw2016-infcomp,
AUTHOR = { Kaiser, Alexander
and Kroening, Daniel
and Wahl, Thomas },
TITLE = { Lost in Abstraction: Monotonicity in Multi-Threaded Programs },
YEAR = { 2017 },
PAGES = { 30--47 },
JOURNAL = { Information and Computation },
VOLUME = { 252 },
MONTH = { February },
}
We welcome feedback and comments at
kroening@cs.cmu.edu.
Last modified by Daniel Kröning.