| Title: | Abstract Satisfaction |
|---|---|
| Links: | Homepage Document as PDF |
| Authors: | Vijay D'Silva |
| Leopold Haller | |
| Daniel Kroening EMail | |
| Remarks: | |
| Topics: |
Bibtex:
@inproceedings{dhk2014-popl,
AUTHOR = { D'Silva, Vijay
and Haller, Leopold
and Kroening, Daniel },
TITLE = { Abstract Satisfaction },
BOOKTITLE = { Principles of Programming Languages (POPL) },
YEAR = { 2014 },
PUBLISHER = { ACM },
PAGES = { 139--150 },
ISBN = { 978-1-4503-2544-8 },
EDITOR = { Suresh Jagannathan and Peter Sewell },
}
We welcome feedback and comments at
kroening@cs.cmu.edu.
Last modified by Daniel Kröning.