Title: | Using Program Synthesis for Program Analysis |
---|---|
Links: | Homepage Document as PDF |
Authors: | Cristina David |
Daniel Kroening EMail | |
Matt Lewis | |
Remarks: | |
Topics: |
Bibtex:
@inproceedings{dkl2015-lpar, AUTHOR = { David, Cristina and Kroening, Daniel and Lewis, Matt }, TITLE = { Using Program Synthesis for Program Analysis }, BOOKTITLE = { Logic for Programming, Artificial Intelligence and Reasoning (LPAR) }, YEAR = { 2015 }, PUBLISHER = { Springer }, PAGES = { 483--498 }, ISBN = { 978-3-662-48898-0 }, SERIES = { LNCS }, VOLUME = { 9450 }, EDITOR = { Martin Davis and Ansgar Fehnker and Annabelle McIver and Andrei Voronkov }, }
We welcome feedback and comments at
kroening@cs.cmu.edu.
Last modified by Daniel Kröning.