783 papers · page 17 of 40
David Monniaux, Laure Gonnord
Two classical sources of imprecision in static analysis by abstract interpretation are widening and merge operations. Merge operations can be done away by distinguishing paths, as in trace partitioning, at the expense of enumerating an exponential number of paths.
In this arti…
Aditya V. Nori, Sriram K. Rajamani
Abstract elided by the publisher.
Peter Schrammel, Bertrand Jeannet
Abstract elided by the publisher.
Philippe Suter, Ali Sinan Köksal, Viktor Kuncak
Abstract elided by the publisher.
Viktor Vafeiadis, Francesco Zappa Nardelli
Abstract elided by the publisher.
Sven Verdoolaege, Albert Cohen, Anna Beletska
Abstract elided by the publisher.
Florian Zuleger, Sumit Gulwani, Moritz Sinn, Helmut Veith
Abstract elided by the publisher.
Elvira Albert, Puri Arenas, Samir Genaim, German Puebla, Diana V. Ramírez-Deantes
Static analysis which takes into account the value of data stored in the heap is typically considered complex and computationally intractable in practice. Thus, most static analyzers do not keep track of object fields (or fields for short), i.e., they are field-insensitive. In th…
Christophe Alias, Alain Darte, Paul Feautrier, Laure Gonnord
Abstract elided by the publisher.
Gianluca Amato, Maurizio Parton, Francesca Scozzari
Abstract elided by the publisher.
Christian J. Bell, Andrew W. Appel, David Walker
Abstract elided by the publisher.
Jörg Brauer, Andy King
Abstract elided by the publisher.
Alexandre Chapoutot
The design of embedded control systems is mainly done with model-based tools such as Matlab/Simulink. Numerical simulation is the central technique of development and verification of such tools. Floatingpoint arithmetic, which is well-known to only provide approximated results, i…
Renato Cherini, Lucas Rearte, Javier O. Blanco
Abstract elided by the publisher.
Isil Dillig, Thomas Dillig, Alex Aiken
Abstract elided by the publisher.
E. Allen Emerson
Abstract elided by the publisher.
Manuel Fähndrich
Abstract elided by the publisher.
Azadeh Farzan, Zachary Kincaid
Abstract elided by the publisher.
Thomas Martin Gawlitza, Helmut Seidl
Abstract elided by the publisher.
Benjamin Goldberg
Abstract elided by the publisher.