T. E. Cheatham, G. H. Holloway, and J. A. Townley, Symbolic evaluation and the analysis of programs, IEEE Trans. on Software Engineering 5 (1979), no. 4, 403-417. Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
Symbolic Data Flow Analysis for Detecting - Deadlocks In Ada (Correct)
Interprocedural Symbolic Evaluation of Ada Programs with .. - Blieberger.. (1999) (Correct)
Symbolic Reaching Definitions Analysis of Ada Programs - Blieberger, Burgstaller (1998) (1 citation) (Correct)
Worst Case Timing Estimation based on Symbolic Execution - Ye, Ernst, Trawny (1995) (1 citation) (Correct)
Data-Flow Frameworks for Worst-Case Execution Time Analysis - Blieberger (2000) (Correct)
Data-Flow Frameworks for Worst-Case Execution Time Analysis - Blieberger (2000) (Correct)
Symbolic Data Flow Analysis for Detecting Deadlocks.. - Blieberger.. (2000) (5 citations) (Correct)
Efficient Interprocedural Array Data-flow Analysis for Automatic.. - Gu, Li (Correct)
Interprocedural Symbolic Evaluation of Ada Programs with .. - Blieberger.. (1999) (Correct)
Putting Static Analysis to Work for Verification: A Case.. - Lev-Ami, Reps, Sagiv.. (2000) (15 citations) (Correct)
Symbolic Cache Analysis for Real-Time Systems - Blieberger, Fahringer, Scholz (1999) (2 citations) (Correct)
A Critical Look at Design, Verification, and Validation of Large .. - Stevenson (1 citation) (Correct)
Experience with Efficient Array Data Flow Analysis for Array.. - Gu, Li, Lee (1997) (6 citations) (Correct)
Symbolic Analysis for Parallelizing Compilers - Haghighat (1994) (39 citations) (Correct)
Interprocedural Analysis Based on Guarded Array Regions - Li, Gu, Lee (Correct)
Real-Time Properties of Indirect Recursive Procedures - Blieberger (2000) (Correct)
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