Matches in SemOpenAlex for { <https://semopenalex.org/work/W2166668408> ?p ?o ?g. }
Showing items 1 to 73 of
73
with 100 items per page.
- W2166668408 abstract "Software is difficult and costly to modify correctly. Automating tiresome mechanical tasks such as program restructuring is one approach to reducing the burden of software maintenance. Several restructuring tools have been proposed and prototyped, all centered on the concept of meaning-preserving transformations similar in spirit to compiler optimizations. Like optimizing compilers, these tools rely on static analysis to reason about the correctness of program changes. However, the cost (in both time and space) of static analysis serves as the limiting factor for transformation tools, resulting in slow, complex tool designs that scale poorly for use on large systems.To reduce these costs, this thesis proposes efficient, demand-driven flow analysis techniques as an alternate to traditional, compiler-based methods. These techniques operate directly on the abstract syntax tree (AST), the data structure most appropriate for use in a source-to-source tool architecture. By eliminating the need for other program representations such as the standard control flow graph (CFG) or program dependence graph (PDG), this approach greatly simplifies program modification.A key contribution of this work is the idea of virtual control flow, a method for computing the control successors or predecessors of individual AST expressions on demand. This method handles all types of structured and unstructured jumps found in an imperative programming language such as C. Virtual control flow couples well with demand-driven data flow analysis to minimize the cost of determining semantic information. To conservatively estimate data flow relationships, the effects of aliasing between memory locations can be inexpensively approximated using flow-insensitive points-to analysis based on type inference.These techniques were implemented in a prototype tool called Cstructure to support a simple restructuring transformation for reordering program statements. To check that this transformation does not change the program's behavior requires syntax, control flow and data dependence analysis. Experimental results on three programs ranging in size from 72,000 to 213,000 lines of code demonstrate the performance advantages of such aggressive demand-driven approaches. For the largest program, gcc, check times for the average statement were 50 milliseconds on a desk-top workstation." @default.
- W2166668408 created "2016-06-24" @default.
- W2166668408 creator A5081340873 @default.
- W2166668408 date "1998-03-17" @default.
- W2166668408 modified "2023-09-24" @default.
- W2166668408 title "Static analysis for a software transformation tool" @default.
- W2166668408 hasPublicationYear "1998" @default.
- W2166668408 type Work @default.
- W2166668408 sameAs 2166668408 @default.
- W2166668408 citedByCount "13" @default.
- W2166668408 countsByYear W21666684082012 @default.
- W2166668408 countsByYear W21666684082014 @default.
- W2166668408 crossrefType "journal-article" @default.
- W2166668408 hasAuthorship W2166668408A5081340873 @default.
- W2166668408 hasConcept C115903868 @default.
- W2166668408 hasConcept C137287247 @default.
- W2166668408 hasConcept C160191386 @default.
- W2166668408 hasConcept C169590947 @default.
- W2166668408 hasConcept C190902152 @default.
- W2166668408 hasConcept C199360897 @default.
- W2166668408 hasConcept C27458966 @default.
- W2166668408 hasConcept C2777904410 @default.
- W2166668408 hasConcept C41008148 @default.
- W2166668408 hasConcept C489000 @default.
- W2166668408 hasConcept C529173508 @default.
- W2166668408 hasConcept C55439883 @default.
- W2166668408 hasConcept C77088390 @default.
- W2166668408 hasConcept C88468194 @default.
- W2166668408 hasConcept C97686452 @default.
- W2166668408 hasConcept C98183937 @default.
- W2166668408 hasConceptScore W2166668408C115903868 @default.
- W2166668408 hasConceptScore W2166668408C137287247 @default.
- W2166668408 hasConceptScore W2166668408C160191386 @default.
- W2166668408 hasConceptScore W2166668408C169590947 @default.
- W2166668408 hasConceptScore W2166668408C190902152 @default.
- W2166668408 hasConceptScore W2166668408C199360897 @default.
- W2166668408 hasConceptScore W2166668408C27458966 @default.
- W2166668408 hasConceptScore W2166668408C2777904410 @default.
- W2166668408 hasConceptScore W2166668408C41008148 @default.
- W2166668408 hasConceptScore W2166668408C489000 @default.
- W2166668408 hasConceptScore W2166668408C529173508 @default.
- W2166668408 hasConceptScore W2166668408C55439883 @default.
- W2166668408 hasConceptScore W2166668408C77088390 @default.
- W2166668408 hasConceptScore W2166668408C88468194 @default.
- W2166668408 hasConceptScore W2166668408C97686452 @default.
- W2166668408 hasConceptScore W2166668408C98183937 @default.
- W2166668408 hasLocation W21666684081 @default.
- W2166668408 hasOpenAccess W2166668408 @default.
- W2166668408 hasPrimaryLocation W21666684081 @default.
- W2166668408 hasRelatedWork W1487664366 @default.
- W2166668408 hasRelatedWork W1491178396 @default.
- W2166668408 hasRelatedWork W1508660681 @default.
- W2166668408 hasRelatedWork W1521332670 @default.
- W2166668408 hasRelatedWork W1536215324 @default.
- W2166668408 hasRelatedWork W1558044546 @default.
- W2166668408 hasRelatedWork W1584616449 @default.
- W2166668408 hasRelatedWork W1649645444 @default.
- W2166668408 hasRelatedWork W1780580795 @default.
- W2166668408 hasRelatedWork W1973303316 @default.
- W2166668408 hasRelatedWork W2056851806 @default.
- W2166668408 hasRelatedWork W2096699392 @default.
- W2166668408 hasRelatedWork W2133497081 @default.
- W2166668408 hasRelatedWork W2144344516 @default.
- W2166668408 hasRelatedWork W2153887189 @default.
- W2166668408 hasRelatedWork W2166574515 @default.
- W2166668408 hasRelatedWork W2172168118 @default.
- W2166668408 hasRelatedWork W2218006079 @default.
- W2166668408 hasRelatedWork W2244035859 @default.
- W2166668408 hasRelatedWork W2525315481 @default.
- W2166668408 isParatext "false" @default.
- W2166668408 isRetracted "false" @default.
- W2166668408 magId "2166668408" @default.
- W2166668408 workType "article" @default.