• Login
    Search 
    •   MINDS@UW Home
    • MINDS@UW Madison
    • Search
    •   MINDS@UW Home
    • MINDS@UW Madison
    • Search
    JavaScript is disabled for your browser. Some features of this site may not work without it.

    Search

    Show Advanced FiltersHide Advanced Filters

    Filters

    Use filters to refine the search results.

    Now showing items 1-3 of 3

    • Sort Options:
    • Relevance
    • Title Asc
    • Title Desc
    • Issue Date Asc
    • Issue Date Desc
    • Results Per Page:
    • 5
    • 10
    • 20
    • 40
    • 60
    • 80
    • 100
    Thumbnail

    A Method for Symbolic Computation 

    Reps, Thomas; Thakur, Aditya (2011-12)
    In 1979, Cousot and Cousot gave a specification of the ?best? (most-precise) abstract transformer possible for a given concrete transformer and a given abstract domain. Unfortunately, their specification does not lead to ...
    Thumbnail

    Bilateral Algorithms for Symbolic Abstraction 

    Reps, Thomas; Elder, Matt; Thakur, Aditya (University of Wisconsin-Madison Department of Computer Sciences, 2012-03-28)
    Given a concrete domain C, a concrete operation tau: C -> C, and an abstract domain A, a fundamental problem in abstract interpretation is to find the best abstract transformer tau#: A -> A that over-approximates tau. ...
    Thumbnail

    A Method for Symbolic Computation of Abstract Operations 

    Thakur, Aditya; Reps, Thomas (2012-02)
    In 1979, Cousot and Cousot gave a specification of the best (most-precise) abstract transformer possible for a given concrete transformer and a given abstract domain. Unfortunately, their specification does not lead to an ...

    Contact Us | Send Feedback
     

     

    Browse

    All of MINDS@UWCommunities & CollectionsBy Issue DateAuthorsTitlesSubjectsThis CommunityBy Issue DateAuthorsTitlesSubjects

    My Account

    LoginRegister

    Discover

    Author
    Reps, Thomas (3)
    Thakur, Aditya (3)Elder, Matt (1)Subjectabstract interpretation (3)
    best transformer (3)
    symbolic abstraction (3)
    Staalmarck's method (2)... View MoreDate Issued2012 (2)2011 (1)Has File(s)
    Yes (3)

    Contact Us | Send Feedback