dc.identifier.uri | http://hdl.handle.net/1951/56010 | |
dc.identifier.uri | http://hdl.handle.net/11401/71609 | |
dc.description.sponsorship | This work is sponsored by the Stony Brook University Graduate School in compliance with the requirements for completion of degree. | en_US |
dc.format | Monograph | |
dc.format.medium | Electronic Resource | en_US |
dc.language.iso | en_US | |
dc.publisher | The Graduate School, Stony Brook University: Stony Brook, NY. | |
dc.type | Dissertation | |
dcterms.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. | |
dcterms.available | 2012-05-17T12:20:42Z | |
dcterms.available | 2015-04-24T14:48:14Z | |
dcterms.contributor | Yanhong A. Liu. | en_US |
dcterms.contributor | Scott D. Stoller | en_US |
dcterms.contributor | Rob Johnson | en_US |
dcterms.contributor | John Field. | en_US |
dcterms.creator | Gorbovitski, Michael | |
dcterms.dateAccepted | 2012-05-17T12:20:42Z | |
dcterms.dateAccepted | 2015-04-24T14:48:14Z | |
dcterms.dateSubmitted | 2012-05-17T12:20:42Z | |
dcterms.dateSubmitted | 2015-04-24T14:48:14Z | |
dcterms.description | Department of Computer Science | en_US |
dcterms.format | Application/PDF | en_US |
dcterms.format | Monograph | |
dcterms.identifier | http://hdl.handle.net/1951/56010 | |
dcterms.identifier | Gorbovitski_grad.sunysb_0771E_10423.pdf | en_US |
dcterms.identifier | http://hdl.handle.net/11401/71609 | |
dcterms.issued | 2011-05-01 | |
dcterms.language | en_US | |
dcterms.provenance | Made available in DSpace on 2012-05-17T12:20:42Z (GMT). No. of bitstreams: 1
Gorbovitski_grad.sunysb_0771E_10423.pdf: 1562513 bytes, checksum: 470795c46c0fc35d2b729f17b553c056 (MD5)
Previous issue date: 1 | en |
dcterms.provenance | Made available in DSpace on 2015-04-24T14:48:14Z (GMT). No. of bitstreams: 3
Gorbovitski_grad.sunysb_0771E_10423.pdf.jpg: 1894 bytes, checksum: a6009c46e6ec8251b348085684cba80d (MD5)
Gorbovitski_grad.sunysb_0771E_10423.pdf: 1562513 bytes, checksum: 470795c46c0fc35d2b729f17b553c056 (MD5)
Gorbovitski_grad.sunysb_0771E_10423.pdf.txt: 333068 bytes, checksum: 9430fd738f151840369717aa71a4b613 (MD5)
Previous issue date: 1 | en |
dcterms.publisher | The Graduate School, Stony Brook University: Stony Brook, NY. | |
dcterms.subject | Alias Analysis, Dynamic Languages, Incrementalization, Rule Composition, Transformation Systems | |
dcterms.subject | Computer Science | |
dcterms.title | A System for Invariant-Driven Transformations | |
dcterms.type | Dissertation | |