Concepedia

Backward Data-flow Analysis

Backward Data-Flow Analysis is a data-flow analysis technique that computes information about a program's execution state by propagating constraints or facts from the end of a control-flow graph to its beginning, distinguishing it from forward analyses that propagate from the start to the end.

17

Publications

729

Citations

40

Authors

23

Institutions

Publications per year

2017–2026

1

Parents

Publications

17

Efficient and precise modeling of exceptions for the analysis of Java programs

Jong-Deok Choi, David Grove, Michael Hind et al. · 1999 · 135 citations

, , +11

Incremental data-flow analysis algorithms

Barbara G. Ryder, Marvin C. Paull · ACM Transactions on Programming Languages and Systems · 1988 · 95 citations · Full text

, , +14

Forward–backward analysis of RFID-enabled supply chain using fuzzy cognitive map and genetic algorithm

Moon-Chan Kim, Chang Ouk Kim, Seong Rok Hong et al. · Expert Systems with Applications · 2007 · 68 citations

, , +17

Program transformations in a denotational setting

Flemming Nielson · ACM Transactions on Programming Languages and Systems · 1985 · 60 citations

, , +13

Fault localization and repair for Java runtime exceptions

Saurabh Sinha, Hina Shah, Carsten Görg et al. · 2009 · 56 citations

, , +17

1–5 of 17

Authors

40

  1. JC
    Jong-Deok Choi

    IBM Research - Thomas J. Watson Research Center, United States

    2 publications · 148 citations

    2

    h-index

  2. SJ
    Shujuan Jiang

    China University of Mining and Technology, China

    2 publications · 76 citations

    2

    h-index

  3. DG
    David Grove

    IBM (United States), United States

    2 publications · 148 citations

    2

    h-index

  4. MH
    Michael Hind

    IBM (United States), United States

    2 publications · 148 citations

    2

    h-index

  5. VS
    Vivek Sarkar

    Rice University, United States

    2 publications · 148 citations

    2

    h-index

1–5 of 40

Institutions

23

  1. IBM Research - Thomas J. Watson Research Center

    Yorktown Heights, United States

    2 h-index

    8 publications

    592 citations

  2. China University of Mining and Technology

    Xuzhou, China

    2 h-index

    5 publications

    136 citations

  3. IBM Research - India

    New Delhi, India

    1 h-index

    1 publications

    56 citations

  4. University of Kent

    Canterbury, United Kingdom

    1 h-index

    1 publications

    33 citations

  5. Georgia Institute of Technology

    Atlanta, United States

    1 h-index

    4 publications

    224 citations

  6. Yonsei University

    Seoul, South Korea

    1 h-index

    3 publications

    204 citations

  7. University of Rochester

    Rochester, United States

    1 h-index

    1 publications

    33 citations

  8. University of Illinois Urbana-Champaign

    Urbana, United States

    1 h-index

    1 publications

    68 citations

1–8 of 23

Venues

  1. 2

    h-index

  2. Frontiers of Structural and Civil Engineering

    1 publications · 19 citations

    1

    h-index

  3. SIAM Journal on Scientific Computing

    1 publications · 37 citations

    1

    h-index

  4. Expert Systems with Applications

    1 publications · 68 citations

    1

    h-index

  5. ACM SIGPLAN Notices

    1 publications · 13 citations

    1

    h-index

1–5