The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for phrase reaching definitions (changed automatically) with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1990-1997 (15) 1998-2007 (16) 2008-2012 (3)
Publication types (Num. hits)
article(11) inproceedings(23)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 66 occurrences of 48 keywords

Results
Found 34 publication records. Showing 34 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
61Mary Jean Harrold, Mary Lou Soffa Efficient Computation of Interprocedural Definition-Use Chains. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 1994 DBLP  DOI  BibTeX  RDF dataflow testing, interprocedural dataflow analysis, interprocedural definition-use chains, interprocedural reachable uses, interprocedural reaching definitions
54Hemant D. Pande, William Landi, Barbara G. Ryder Interprocedural Def-Use Associations for C Systems with Single Level Pointers. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1994 DBLP  DOI  BibTeX  RDF interprocedural def-use associations, C software systems, single level pointers, value-setting statements, value-fetches, program-point-specific pointer-induced aliases, interprocedural reaching definitions problem, software engineering, computational complexity, data structures, static analysis, NP-hardness, program compilers, polynomial-time algorithm, program diagnostics, C language, indirection
48Johann Blieberger, Bernd Burgstaller Symbolic Reaching Definitions Analysis of Ada Programs. Search on Bibsonomy Ada-Europe The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
44Dirk Grunwald, Harini Srinivasan Data Flow Equations for Explicitly Parallel Programs. Search on Bibsonomy PPOPP The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
43Paolo Tonella, Giuliano Antoniol, Roberto Fiutem, Ettore Merlo Variable Precision Reaching Definitions Analysis for Software Maintenance. Search on Bibsonomy CSMR The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
39Peter Vanbroekhoven, Gerda Janssens, Maurice Bruynooghe, Francky Catthoor A practical dynamic single assignment transformation. Search on Bibsonomy ACM Trans. Design Autom. Electr. Syst. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF reaching definitions, parallelization, Data flow analysis, arrays, single assignment
39Jong-Deok Choi, Ron Cytron, Jeanne Ferrante On the Efficient Engineering of Ambitious Program Analysis. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1994 DBLP  DOI  BibTeX  RDF efficient engineering, compile-time methods, pointer references, array accesses, optimization phase, information benefit, analysis information volume, data-flow chains, reaching definitions, demand-driven computation, software engineering, compilers, optimisation, program analysis, programming environments, program compilers, data-flow analysis, program diagnostics, compact representation, static single assignment, procedure calls
26Longwen Lu, Cheng Zhang, Jianjun Zhao Soot-based implementation of a demand-driven reaching definitions analysis. Search on Bibsonomy SOAP@PLDI The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
26Yuki Nakanishi, Arquimedes Canedo, Ben A. Abderazek, Masahiro Sowa Optimizing Reaching Definitions Overhead in Queue Processors. Search on Bibsonomy JCIT The full citation details ... 2007 DBLP  BibTeX  RDF
26Paolo Tonella, Giuliano Antoniol, Roberto Fiutem, Ettore Merlo Variable-precision reaching definitions analysis. Search on Bibsonomy Journal of Software Maintenance The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
22Johann Blieberger, Bernd Burgstaller, Bernhard Scholz Interprocedural Symbolic Evaluation of Ada Programs with Aliases. Search on Bibsonomy Ada-Europe The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
18Michelle L. Goodstein, Evangelos Vlachos, Shimin Chen, Phillip B. Gibbons, Michael A. Kozuch, Todd C. Mowry Butterfly analysis: adapting dataflow analysis to dynamic parallel monitoring. Search on Bibsonomy ASPLOS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF dynamic program monitoring, parallel programming, static analysis, data flow analysis
18István Forgács Double Iterative Framework for Flow-Sensitive Interprocedural Data Flow Analysis. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 1994 DBLP  DOI  BibTeX  RDF double iterative frameworks, data flow analysis
11Ye Zhang 0002, Torben Amtoft, Flemming Nielson From generic to specific: off-line optimization for a general constraint solver. Search on Bibsonomy GPCE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF off-line optimization, solver technology, constraints, program analysis, datalog, unification
11Silvius Rus, Guobin He, Christophe Alias, Lawrence Rauchwerger Region array SSA. Search on Bibsonomy PACT The full citation details ... 2006 DBLP  DOI  BibTeX  RDF array SSA, parallelization, constant propagation
11Tobias Gedell Embedding Static Analysis into Tableaux and Sequent Based Frameworks. Search on Bibsonomy TABLEAUX The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
11Steve MacDonald, Jun Chen 0018, Diego Novillo Choosing Among Alternative Futures. Search on Bibsonomy Haifa Verification Conference The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
11Silvius Rus, Guobin He, Lawrence Rauchwerger Scalable Array SSA and Array Data Flow Analysis. Search on Bibsonomy LCPC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
11Ákos Hajnal, István Forgács A Precise Demand-Driven Def-Use Chaining Algorithm. Search on Bibsonomy CSMR The full citation details ... 2002 DBLP  DOI  BibTeX  RDF demand-driven algorithm, interprocedural du chain analysis, realizable du chain, data flow analysis
11Gagan Agrawal, Jinqian Li, Qi Su Evaluating a Demand Driven Technique for Call Graph Construction. Search on Bibsonomy CC The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
11Helmut Seidl, Bernhard Steffen Constraint-Based Inter-Procedural Analysis of Parallel Programs. Search on Bibsonomy ESOP The full citation details ... 2000 DBLP  DOI  BibTeX  RDF Inter-procedural program analysis, explicit parallelism, bitvector problems, simple constant propagation, coincidence theorems
11Michael Hind, Anthony Pioli Which pointer analysis should I use? Search on Bibsonomy ISSTA The full citation details ... 2000 DBLP  DOI  BibTeX  RDF interprocedural pointer analysis, data flow analysis
11Paolo Tonella Effects of Different Flow Insensitive Points-to Analyses on DEF/USE Sets. Search on Bibsonomy CSMR The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
11Gagan Agrawal Simultaneous Demand-Driven Data-Flow and Call Graph Analysis. Search on Bibsonomy ICSM The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
11James B. Fenwick Jr., Lori L. Pollock Data Flow Analysis across Tuplespace Process Boundaries. Search on Bibsonomy ICCL The full citation details ... 1998 DBLP  DOI  BibTeX  RDF explicity parallelism, distributed shared memory, data flow analysis, tuplespace
11Evelyn Duesterwald, Rajiv Gupta 0001, Mary Lou Soffa A Practical Framework for Demand-Driven Interprocedural Data Flow Analysis. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 1997 DBLP  DOI  BibTeX  RDF copy constant propagation, def-use chains, demand-driven algorithms, distributive data flow frameworks, data flow analysis, program optimizations, interprocedural data flow analysis
11Gao Nianshu, Zhaoqing Zhang, Ruliang Qiao Precise Dependence Test for Scalar within Nested Loops. Search on Bibsonomy APDC The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
11Wolfram Amme, Eberhard Zehendner Experiences in Analyzing Data Dependences for Programs with Pointers and Structures. Search on Bibsonomy Euro-Par The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
11Wolfram Amme, Eberhard Zehendner Efficient Calculation of Data Dependences in Programs with Pointers and Structures. Search on Bibsonomy EUROMICRO The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
11Jens Knoop, Bernhard Steffen, Jürgen Vollmer 0001 Parallelism for Free: Efficient and Optimal Bitvector Analyses for Parallel Programs. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 1996 DBLP  DOI  BibTeX  RDF assignment motion, bitvector problems, definition-use chains, partial dead-code elimination, parallelism, synchronization, shared memory, data flow analysis, program optimization, code motion, strength reduction, interleaving semantics
11Thomas W. Reps, Susan Horwitz, Shmuel Sagiv Precise Interprocedural Dataflow Analysis via Graph Reachability. Search on Bibsonomy POPL The full citation details ... 1995 DBLP  DOI  BibTeX  RDF C
11Robert Kramer, Rajiv Gupta 0001, Mary Lou Soffa The Combining DAG: A Technique for Parallel Data Flow Analysis. Search on Bibsonomy IEEE Trans. Parallel Distrib. Syst. The full citation details ... 1994 DBLP  DOI  BibTeX  RDF parallel data flow analysis, sequential data flow algorithm, parallel data flow algorithms, rapid data flow problems, cyclic structures, combining directed acyclic graph, parallelized sequential algorithm, performance, parallel algorithms, parallel algorithm, parallel processing, parallel programming, software tools, multiprocessors, directed graphs, program compilers, DAG, parallel compilers, control flow graph, sequential algorithm
11G. Ramalingam The Undecidability of Aliasing. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 1994 DBLP  DOI  BibTeX  RDF pointer analysis, alias analysis
11Yong-Fong Lee, Thomas J. Marlowe, Barbara G. Ryder Performing data flow analysis in parallel. Search on Bibsonomy SC The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #34 of 34 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license