Interpolation for value analysis

Abstract
Abstraction, counterexample-guided refinement, and interpolation are techniques that are essential to the success of predicate-based program analysis. These techniques have not yet been applied together to value analysis. We present an approach that integrates abstraction and interpolation-based refinement into a value analysis, i.e., a program analysis that tracks values for a specified set of variables (the precision).
  • Citation
  • BibTeX
Beyer, D. & Löwe, S., (2015). Interpolation for value analysis. In: Aßmann, U., Demuth, B., Spitta, T., Püschel, G. & Kaiser, R. (Hrsg.), Software-engineering and management 2015. Bonn: Gesellschaft für Informatik e.V.. (S. 73-74).
@inproceedings{mci/Beyer2015,
author = {Beyer, Dirk AND Löwe, Stefan},
title = {Interpolation for value analysis},
booktitle = {Software-engineering and management 2015},
year = {2015},
editor = {Aßmann, Uwe AND Demuth, Birgit AND Spitta, Thorsten AND Püschel, Georg AND Kaiser, Ronny} ,
pages = { 73-74 },
publisher = {Gesellschaft für Informatik e.V.},
address = {Bonn}
}
DateienGroesseFormatAnzeige
73.pdf34.98Kb PDF View/Open

Haben Sie fehlerhafte Angaben entdeckt? Sagen Sie uns Bescheid: Send Feedback

More Info

ISBN: 978-3-88579-633-6
ISSN: 1617-5468
xmlui.MetaDataDisplay.field.date: 2015
Language: en (en)
Content Type: Text/Conference Paper
Collections

Show full item record