B. Steffen. Data flow analysis as model checking. In Int. Conf. on Theor. Aspects of Comp. Softw., volume 526 of Lec. Notes in Comp. Sci., pages 346--365. Springer-Verlag, 1991. Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
First 50 documents
From Trace Sets to Modal-Transition Systems by Stepwise Abstract.. - Schmidt (2001) (1 citation) (Correct)
Iterative-Free Program Analysis - Ogawa, Hu, Sasano (2003) (Correct)
Alias Analysis by means of a Model Checker - Martena, Pietro (2001) (3 citations) (Correct)
Refining Model Checking by Abstract Interpretation - Cousot, Cousot (1999) (5 citations) (Correct)
Constraint Logic Programming Applied to Model Checking - Fribourg (1999) (17 citations) (Correct)
Refining Model Checking by Abstract Interpretation - Cousot, Cousot (1999) (5 citations) (Correct)
Limiting State Explosion with Filter-Based Refinement - Dwyer, Schmidt (1997) (2 citations) (Correct)
Automatic Generation and Management of Program Analyses - Yi (1993) (1 citation) (Correct)
How to Uniformly Specify Program Analysis and Transformation with .. - Aßmann (1996) (4 citations) (Correct)
Register Pressure Sensitive Redundancy Elimination - Gupta, Bodík (1999) (2 citations) (Correct)
Incremental Model Checking in the Modal Mu-Calculus - Sokolsky, Smolka (1994) (16 citations) (Correct)
Resource-Sensitive Profile-Directed Data Flow Analysis for Code .. - Rajiv Gupta (1997) (6 citations) (Correct)
Weighted Pushdown Systems - And Their Application (Correct)
Incremental Execution of Transformation Specifications - Ganesh Sittampalam Ganesh (2004) (3 citations) (Correct)
Path Profile Guided Partial Dead Code Elimination Using.. - Gupta, Berson, Fang (1997) (18 citations) (Correct)
Pushdown Processes: Parallel Composition and Model Checking - Burkart, Steffen (1993) (24 citations) Self-citation (Steffen) (Correct)
Lazy Code Motion - Knoop, Rüthing, Steffen (1992) (81 citations) Self-citation (Steffen) (Correct)
Intelligent Software Synthesis in the DaCapo Environment - Steffen, Freitag.. (1994) Self-citation (Steffen) (Correct)
The Fixpoint-Analysis Machine - Steffen, Claßen, Klein, Knoop.. (1995) (5 citations) Self-citation (Steffen) (Correct)
Optimal Code Motion: Theory and Practice - Knoop, Rüthing, Steffen (1993) (61 citations) Self-citation (Steffen) (Correct)
Finite Model Checking and Beyond - Steffen (1994) (1 citation) Self-citation (Steffen) (Correct)
Optimal Code Motion: Theory and Practice - Knoop, Rüthing, Steffen (1994) (61 citations) Self-citation (Steffen) (Correct)
Generating Data Flow Analysis Algorithms from Modal Specifications - Steffen (1993) (6 citations) Self-citation (Steffen) (Correct)
Lazy Code Motion - Knoop, Rüthing, Steffen (1992) (81 citations) Self-citation (Steffen) (Correct)
Lazy Strength Reduction - Knoop, Rüthing, Steffen (1993) (16 citations) Self-citation (Steffen) (Correct)
First 50 documents
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