Data-flow Equations

Data-Flow Equations is a formal system of constraints that specifies the propagation of data-flow information across program points in a control-flow graph, distinguishing itself by relating the input and output states of program elements through transfer functions and join operations to enable static analysis.

108

Publications

5.7K

Citations

268

Authors

121

Institutions

Publications per year

2017–2026

Parents

Data-flow Analysis

Publications

108

Meso-FE modelling of textile composites: Road map, data flow and algorithms

Stepan Vladimirovitch Lomov, Dmitry Ivanov, Ignace Verpoest et al. · Composites Science and Technology · 2006 · 521 citations · Full text

Natural Sciences, Materials Engineering, Materials Science +13

The Tapenade automatic differentiation tool

Laurent Hascoët, Valérie Pascual · ACM Transactions on Mathematical Software · 2013 · 473 citations · Full text

Computing, Computer Engineering, Computer Science +12

Monotone data flow analysis frameworks

John B. Kam, Jeffrey D. Ullman · Acta Informatica · 1977 · 380 citations

Computing, Computer Science, Software Engineering +7

MAHA: A Program for Datapath Synthesis

Alice C. Parker, Jorge T. Pizarro, Mitch Mlinar · Design Automation Conference · 1986 · 246 citations

Engineering, Computer Engineering, Computer Science +17

MAHA: A Program for Datapath Synthesis

Alice C. Parker, Jorge T. Pizarro, Mitch Mlinar · 23rd ACM/IEEE Design Automation Conference · 1986 · 206 citations

Engineering, Computer Engineering, Computer Science +17

1–5 of 108

Authors

268

BG
Barbara G. Ryder
Rutgers, The State University of New Jersey, United States
4 publications · 229 citations
4
h-index
MP
Marc Pouzet
Institut national de recherche en sciences et technologies du numérique, France
3 publications · 224 citations
3
h-index
RB
Roberto Bagnara
University of Parma, Italy
2 publications · 68 citations
2
h-index
JG
Jean‐Luc Gaudiot
University of California, Irvine, United States
2 publications · 34 citations
2
h-index
RJ
Richard Johnson
Cornell University, United States
2 publications · 128 citations
2
h-index

1–5 of 268

Institutions

121

1–8 of 121

Venues

ACM SIGPLAN Notices
3 publications · 60 citations
3
h-index
Computer
3 publications · 107 citations
3
h-index
Science of Computer Programming
3 publications · 111 citations
3
h-index
Proceedings of SPIE, the International Society for Optical Engineering/Proceedings of SPIE
3 publications · 66 citations
3
h-index
IEEE Transactions on Smart Grid
2 publications · 63 citations
2
h-index

1–5