PAPERS

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.