Programs: An Approach Based on Reverse Data-Flow Analysis Jens Knoop...  Home/Search
Context
Related
| icsa.informatics.ed.ac.uk/cp...knoop.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: icsa.informatics.ed.ac.uk...knoop (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Demand-driven data-flow analysis (DD-DFA) has been pioneered in the field of interprocedural analysis of sequential programs to accommodate the specific needs of analysis tools like debuggers and slicers, but also to compensate for the continuous growth of programs and program complexity making static program analyses more and more intricate and time consuming. Particularly successful in practice turned out to be a DD-DFA approach based on reverse DFA. Recently, we have shown how to... (Update)
Active bibliography (related documents): More All
0.4: Compiler Optimization Techniques for OpenMP Programs - Satoh, Kusano, Sato (Correct)
0.3: Compilation Techniques for Explicitly Parallel Programs - Lee (1999) (Correct)
0.3: Constant Propagation in Explicitly Parallel Programs - Knoop (1998) (Correct)
System load high. Please wait...
Timeout. Please try your query later.
Similar documents based on text: More All
0.2: Parallelism for Free: Efficient and Optimal Bitvector.. - Knoop, Steffen, Vollmer (1996) (Correct)
0.2: Cool: A Control-flow Generator for System Analysis - Braun, Knoop, Koschützki (1998) (Correct)
0.2: The Power of Assignment Motion - Knoop, Rüthing, Steffen (1995) (Correct)
BibTeX entry: (Update)
@misc{ approach-demanddriven,
author = "Programs An Approach",
title = "Demand-Driven Analysis of Explicitly Parallel",
url = "citeseer.ist.psu.edu/631656.html" }
Citations (may not include all citations):1911 Introduction to Automata Theory (context) - Hopcroft, Ullman - 1979
815 Abstract interpretation: A unified lattice model for static .. (context) - Cousot, Cousot - 1977
292 Advanced Compiler Design and Implementation (context) - Muchnick - 1997
225 Flow Analysis of Computer Programs (context) - Hecht - 1977
156 A unified approach to global program optimization (context) - Kildall - 1973
144 Two approaches to interprocedural data flow analysis (context) - Sharir, Pnueli - 1981
128 Global optimization by suppression of partial redundancies (context) - Morel, Renvoise - 1979
116 Monotone data flow analysis frameworks (context) - Kam, Ullman - 1977
95 Verification of Sequential and Concurrent Programs (context) - Apt, Olderog - 1997
84 Optimal code motion: Theory and practice - Knoop, Ruthing et al. - 1994
82 Partial dead code elimination - Knoop, Ruthing et al. - 1994
68 Ten years of Hoare's logic: A survey -- Part (context) - Apt - 1981
59 Demand interprocedural dataflow analysis - Horwitz, Reps et al. - 1995
55 Demand-driven computation of interprocedural data flow - Duesterwald, Gupta et al. - 1995
27 Solving demand versions of interprocedural analysis problems (context) - Reps - 1994
23 A practical framework for demand-driven interprocedural data.. - Duesterwald, Gupta et al. - 1997
20 Abstract interpretation (context) - Cousot - 1996
17 Compile time analysis of parallel programs that share memory (context) - Chow, Harrison - 1992
12 Code motion for explicitly parallel programs (context) - Knoop, Ste - 1999
11 Reversing abstract interpretations (context) - Hughes, Launchbury - 1994
11 Reversing abstract interpretations (context) - Hughes, Launchbury - 1992
7 cient and optimal bitvector analyses for parallel programs (context) - Knoop, Ste et al. - 1996
4 Eliminating partially dead code in explicitly parallel progr.. - Knoop - 1998
3 Parallel data-flow analysis of explicitly parallel programs (context) - Knoop - 1999
1 A Demand-driven Approach for E#cient Interprocedural Data Fl.. (context) - Duesterwald - 1996
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC