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.