GI LogoGI Logo
  • Login
Digital Library
    • All of DSpace

      • Communities & Collections
      • Titles
      • Authors
      • By Issue Date
      • Subjects
    • This Collection

      • Titles
      • Authors
      • By Issue Date
      • Subjects
Digital Library Gesellschaft für Informatik e.V.
GI-DL
    • English
    • Deutsch
  • English 
    • English
    • Deutsch
View Item 
  •   DSpace Home
  • Lecture Notes in Informatics
  • Proceedings
  • Software Engineering and Software Management
  • P239 - Software Engineering & Management 2015
  • View Item
JavaScript is disabled for your browser. Some features of this site may not work without it.
  •   DSpace Home
  • Lecture Notes in Informatics
  • Proceedings
  • Software Engineering and Software Management
  • P239 - Software Engineering & Management 2015
  • View Item

Interpolation for value analysis

Author:
Beyer, Dirk [DBLP] ;
Löwe, Stefan [DBLP]
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
  • P239 - Software Engineering & Management 2015 [114]

Show full item record


About uns | FAQ | Help | Imprint | Datenschutz

Gesellschaft für Informatik e.V. (GI), Kontakt: Geschäftsstelle der GI
Diese Digital Library basiert auf DSpace.

 

 


About uns | FAQ | Help | Imprint | Datenschutz

Gesellschaft für Informatik e.V. (GI), Kontakt: Geschäftsstelle der GI
Diese Digital Library basiert auf DSpace.