Interpolation for Value Analysis

Dirk Beyer 0001, Stefan Löwe. Interpolation for Value Analysis. In Uwe Aßmann, Birgit Demuth, Thorsten Spitta, Georg Püschel, Ronny Kaiser, editors, Software Engineering & Management 2015, Multikonferenz der GI-Fachbereiche Softwaretechnik (SWT) und Wirtschaftsinformatik (WI), FA WI-MAW, 17. März - 20. März 2015, Dresden, Germany. Volume 239 of LNI, pages 73-74, GI, 2015.

No reviews for this publication, yet.