Sciweavers

    113
    Voted
    ATVA
    2008
    Springer
    111views Hardware» more  ATVA 2008»
    Loop Summarization Using Abstract Transformers
    15 years 4 months ago
    Loop Summarization Using Abstract Transformers
    Download  verify.inf.unisi.ch
    marization using Abstract Transformers Daniel Kr
    Daniel Kroening, Natasha Sharygina, Stefano Tonett...
    claim paper
    Read More »
    VMCAI
    2007
    Springer
    118views Software Engineering» more  VMCAI 2007»
    Constructing Specialized Shape Analyses for Uniform Change
    15 years 9 months ago
    Constructing Specialized Shape Analyses for Uniform Change
    Download  www.cs.wisc.edu
    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....
    claim paper
    Read More »
    Explore & Download
    Proceedings Preprints Top 5 Ranked Papers Publications Books Software Tutorials Presentations Lectures Notes Datasets
    Productivity Tools
    i2PDF i2Img i2Text i2OCR i2Symbol i2Type i2Speak i2Style i2Arabic i2Bopomo Latex Equation Editor
    Sciweavers
    About Community Cookies Privacy Policy Terms of Use

    Copyright © Sciweavers LLC, 2009-2026, USA.