Sciweavers

ATVA
2008
Springer
111views Hardware» more  ATVA 2008»
14 years 21 days 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....