Matches in SemOpenAlex for { <https://semopenalex.org/work/W202671471> ?p ?o ?g. }
- W202671471 abstract "Program development, debugging, and maintenance can be greatly improved by the use of software tools that provide information about program behavior. This thesis focuses on a number of useful software tools and shows how their efficiency, generality, and precision can be increased through the use of control-flow and control dependence analysis. We consider two classes of tools: execution measurement tools, which collect information about a particular program execution; and program analysis tools, which provide information about potential program behavior by statically analyzing the program.We consider three tools that measure aspects of a program's execution: profiling, tracing, and event counting tools. We describe algorithms for profiling and tracing programs that use a combination of control-flow analysis and program instrumentation to produce exact profiles and traces with low run-time overhead. Rather than record information at every point in a program, the algorithms record information at a subset of points that uniquely determines the information at unmeasured points. A unique part of our work is to classify various profiling problems, based on what is profiled and where profiling code is placed, and to compare the run-time costs of the various problems. Event counting is a special form of profiling that maintains an aggregate count of events in an execution.We also consider three semantics-based software tools: slicing, differencing, and integration. A slicing tool computes a projection of a program that preserves the behavior of the original program at a particular statement. Such a tool is useful for debugging, since statements not in the projection have no effect on the statement of interest. Differencing compares the behavior of two programs, and integration merges variants of an original program so as to preserve the changed computations in each variant with respect to the original program. To date, no work has adequately addressed how to slice, difference, and integrate programs with complex control-flow (i.e., programs containing unconditional jumps such as GOTOs). We show how to extend slicing, differencing, and integration to languages with complex control-flow. Our results on control dependence are the basis for extending these tools to handle a larger class of languages." @default.
- W202671471 created "2016-06-24" @default.
- W202671471 creator A5080328005 @default.
- W202671471 date "1993-01-02" @default.
- W202671471 modified "2023-09-24" @default.
- W202671471 title "The use of control-flow and control dependence in software tools" @default.
- W202671471 cites W1512687743 @default.
- W202671471 cites W1513400187 @default.
- W202671471 cites W1524877046 @default.
- W202671471 cites W1527392356 @default.
- W202671471 cites W1529878801 @default.
- W202671471 cites W1561880747 @default.
- W202671471 cites W1578662211 @default.
- W202671471 cites W1602281610 @default.
- W202671471 cites W1608474985 @default.
- W202671471 cites W1969012464 @default.
- W202671471 cites W1969947998 @default.
- W202671471 cites W1970575910 @default.
- W202671471 cites W1979277605 @default.
- W202671471 cites W1982205631 @default.
- W202671471 cites W1996431959 @default.
- W202671471 cites W1997493115 @default.
- W202671471 cites W2011039300 @default.
- W202671471 cites W2012131382 @default.
- W202671471 cites W2012822464 @default.
- W202671471 cites W2016909415 @default.
- W202671471 cites W2018352428 @default.
- W202671471 cites W2018449188 @default.
- W202671471 cites W2019747336 @default.
- W202671471 cites W2022084191 @default.
- W202671471 cites W2035198638 @default.
- W202671471 cites W2036235403 @default.
- W202671471 cites W2039805140 @default.
- W202671471 cites W2040593910 @default.
- W202671471 cites W2044553249 @default.
- W202671471 cites W2047229718 @default.
- W202671471 cites W2049461910 @default.
- W202671471 cites W2053398423 @default.
- W202671471 cites W2058614217 @default.
- W202671471 cites W2059441029 @default.
- W202671471 cites W2064625489 @default.
- W202671471 cites W2078220499 @default.
- W202671471 cites W2079573490 @default.
- W202671471 cites W2082051985 @default.
- W202671471 cites W2092483417 @default.
- W202671471 cites W2106295883 @default.
- W202671471 cites W2109452325 @default.
- W202671471 cites W2111335170 @default.
- W202671471 cites W2111692137 @default.
- W202671471 cites W2114879888 @default.
- W202671471 cites W2116672403 @default.
- W202671471 cites W2132331020 @default.
- W202671471 cites W2133304975 @default.
- W202671471 cites W2136657144 @default.
- W202671471 cites W2141109493 @default.
- W202671471 cites W2144344516 @default.
- W202671471 cites W2147088720 @default.
- W202671471 cites W2148189587 @default.
- W202671471 cites W2154612074 @default.
- W202671471 cites W2160314792 @default.
- W202671471 cites W2162310108 @default.
- W202671471 cites W2169044454 @default.
- W202671471 cites W2293624369 @default.
- W202671471 cites W2294693415 @default.
- W202671471 cites W2987803397 @default.
- W202671471 cites W3151756653 @default.
- W202671471 hasPublicationYear "1993" @default.
- W202671471 type Work @default.
- W202671471 sameAs 202671471 @default.
- W202671471 citedByCount "12" @default.
- W202671471 countsByYear W2026714712012 @default.
- W202671471 countsByYear W2026714712014 @default.
- W202671471 countsByYear W2026714712017 @default.
- W202671471 countsByYear W2026714712018 @default.
- W202671471 crossrefType "journal-article" @default.
- W202671471 hasAuthorship W202671471A5080328005 @default.
- W202671471 hasConcept C124101348 @default.
- W202671471 hasConcept C138673069 @default.
- W202671471 hasConcept C149091818 @default.
- W202671471 hasConcept C160191386 @default.
- W202671471 hasConcept C168065819 @default.
- W202671471 hasConcept C187191949 @default.
- W202671471 hasConcept C199360897 @default.
- W202671471 hasConcept C2777561058 @default.
- W202671471 hasConcept C2777904410 @default.
- W202671471 hasConcept C41008148 @default.
- W202671471 hasConcept C91071405 @default.
- W202671471 hasConcept C98183937 @default.
- W202671471 hasConceptScore W202671471C124101348 @default.
- W202671471 hasConceptScore W202671471C138673069 @default.
- W202671471 hasConceptScore W202671471C149091818 @default.
- W202671471 hasConceptScore W202671471C160191386 @default.
- W202671471 hasConceptScore W202671471C168065819 @default.
- W202671471 hasConceptScore W202671471C187191949 @default.
- W202671471 hasConceptScore W202671471C199360897 @default.
- W202671471 hasConceptScore W202671471C2777561058 @default.
- W202671471 hasConceptScore W202671471C2777904410 @default.
- W202671471 hasConceptScore W202671471C41008148 @default.
- W202671471 hasConceptScore W202671471C91071405 @default.
- W202671471 hasConceptScore W202671471C98183937 @default.