Sciweavers

ATVA
2008
Springer
111views Hardware» more  ATVA 2008»
14 years 1 months ago
Loop Summarization Using Abstract Transformers
marization using Abstract Transformers Daniel Kr
Daniel Kroening, Natasha Sharygina, Stefano Tonett...
VMCAI
2007
Springer
14 years 5 months ago
Constructing Specialized Shape Analyses for Uniform Change
Abstract. This paper is concerned with one of the basic problems in abstract interpretation, namely, for a given abstraction and a given set of concrete transformers (that express ...
Tal Lev-Ami, Mooly Sagiv, Neil Immerman, Thomas W....