• Login
    View Item 
    •   DSpace Home
    • Stony Brook University
    • Stony Brook Theses & Dissertations [SBU]
    • View Item
    •   DSpace Home
    • Stony Brook University
    • Stony Brook Theses & Dissertations [SBU]
    • View Item
    JavaScript is disabled for your browser. Some features of this site may not work without it.

    Browse

    All of DSpaceCommunities & CollectionsBy Issue DateAuthorsTitlesSubjectsDepartmentThis CollectionBy Issue DateAuthorsTitlesSubjectsDepartment

    My Account

    LoginRegister

    Statistics

    Most Popular ItemsStatistics by CountryMost Popular Authors

    A System for Invariant-Driven Transformations

    Thumbnail
    View/Open
    Gorbovitski_grad.sunysb_0771E_10423.pdf (1.490Mb)
    Date
    1-May-11
    Author
    Gorbovitski, Michael
    Publisher
    The Graduate School, Stony Brook University: Stony Brook, NY.
    Metadata
    Show full item record
    Abstract
    Transformation systems are important for program manipulations such as optimization, instrumentation, and refactoring. Even though not always stated explicitly, these transformations are always driven by invariants, such as maintaining invariants for optimization, checking invariants for verification, and so on. This dissertation describes a system that allows coordinated transformations driven by invariants to be specified declaratively, as invariant rules, and applied automatically. We specially describe our implementation for applying invariant rules to Python and C programs, alias and type analyses developed for applying invariant rules, and a method for composing and optimizing invariant rules. We also describe successful applications of the system in generating efficient implementations from clear and modular specifications, in instrumenting programs for runtime invariant checking, query-based debugging, and profiling, and in code refactoring.
    URI
    http://hdl.handle.net/1951/56010
    Collections
    • Stony Brook Theses & Dissertations [SBU] [1955]

    SUNY Digital Repository Support
    DSpace software copyright © 2002-2023  DuraSpace
    Contact Us | Send Feedback
    DSpace Express is a service operated by 
    Atmire NV
     

     


    SUNY Digital Repository Support
    DSpace software copyright © 2002-2023  DuraSpace
    Contact Us | Send Feedback
    DSpace Express is a service operated by 
    Atmire NV