MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Elimination Algorithms for Data Flow Analysis." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

3 documents found, showing 1 through 3.

ATOM

Elimination algorithms for data flow analysis
by Barbara G. Ryder, Marvin C. Paull — 1986 — ACM Computing Surveys
…Elimination Algorithms for Data Flow Analysis BARBARA G. RYDER and MARVIN C. PAULL Department…
Cited by 49 (8 self) – Add To MetaCart

Region Analysis: A Parallel Elimination Method for Data Flow Analysis
by Yong-fong Lee, Barbara G. Ryder, Marc E. Fiuczynski — 1995 — IEEE Transactions on Software Engineering
… Sequent Symmetry S81. Index Terms --- Data flow analysis, elimination algorithms, interval analysis…
Cited by 6 (3 self) – Add To MetaCart

Symbolic Data Flow Analysis for Detecting Deadlocks in Ada Tasking Programs
by Johann Blieberger, Bernd Burgstaller, Bernhard Scholz, Department Of Computer-aided Automation — 2000 — In Proc. of the Ada-Europe International Conference on Reliable Software Technologies
… program contexts. The equation system is solved by an elimination algorithm for data flow analysis [16…
Cited by 9 (2 self) – Add To MetaCart

Showing 1 through 3.

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB