M. S. Hecht. Flow Analysis of Computer Programs. Elsevier, Amsterdam, 1977. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
First 50 documents Next 50
Data Flow Analysis for Reverse Engineering - University Of Amsterdam (Correct)
No context found.
M. S. Hecht. Flow Analysis of Computer Programs. Elsevier, Amsterdam, 1977.
Characterising, Explaining, and Exploiting the.. - Binkley, Harman, Krinke (2006) (Correct)
No context found.
M. S. Hecht. Flow Analysis of Computer Programs. Elsevier, 1977.
Graph Theoretic Foundations of Program Slicing and Integration - Arun Lakhotia The (1991) (2 citations) (Correct)
No context found.
Matthew S. Hecht. Flow Analysis of Computer Programs. North-Holland, New York, 1977.
A Dissertation - Presented To The (1995) (Correct)
No context found.
Hecht, M. S., Flow Analysis of Computer Programs, North-Holland, Inc., 1977.
Modal Transition Systems: A Foundation for - Three-Valued Program Analysis (Correct)
No context found.
M. Hecht. Flow Analysis of Computer Programs. Elsevier, 1977.
Constructing Call Multigraphs Using Dependence Graphs - Arun Lakhotia The (1993) (23 citations) (Correct)
No context found.
Hecht, M. S. Flow Analysis of Computer Programs. North-Holland, New York, 1977.
Animated Visualisation of Static Analysis.. - Binkley, Harman, Krinke (Correct)
No context found.
M. S. Hecht. Flow Analysis of Computer Programs. Elsevier, 1977.
Unknown - (Correct)
No context found.
Hecht, M. S. Flow Analysis of Computer Programs. Elsevier North Holland Inc., New York, 1977.
Integration of Generic Program Analysis Tools - Into Software Development (Correct)
No context found.
Hecht, M. S. (1977), Flow Analysis of Computer Programs, The Computer Science Library: Programming Language Series, Elsevier NorthHolland.
L. Taylor Simpson - Lts Cs Rice (Correct)
No context found.
Matthew S. Hecht. Flow Analysis of Computer Programs. Programming Languages Series. Elsevier North-Holland, Inc., 52 Vanderbilt Avenue, New York, NY 10017, 1977.
An Automata-theoretic Approach to Interprocedural Data-flow.. - Esparza, Knoop (1999) (27 citations) (Correct)
No context found.
M. S. Hecht. Flow Analysis of Computer Programs. Elsevier, North-Holland, 1977.
Efficient Algorithms for pre* and post* on Interprocedural.. - Esparza, Podelski (2000) (Correct)
No context found.
M. S. Hecht. Flow Analysis of Computer Programs. Elsevier, North-Holland, 1977.
Computing Polynomial Program Invariants - Müller-Olm, Seidl (Correct)
No context found.
M. S. Hecht. Flow analysis of computer programs. Elsevier North-Holland, 1977.
Type Inference in the Icon Programming Language* - Kenneth Walker And (Correct)
No context found.
M. S. Hecht, Flow Analysis of Computer Programs, North-Holland, New York, NY, 1977.
Simple Relational Correctness Proofs for Static Analyses and.. - Benton (2004) (4 citations) (Correct)
No context found.
M S. Hecht. Flow Analysis of Computer Programs. Elsevier North-Holland, 1977.
Precise Interprocedural Dependence Analysis of Parallel Programs - Müller-Olm (2004) (Correct)
No context found.
M. S. Hecht, Flow Analysis of Computer Programs, Elsevier North-Holland, 1977.
Interconvertibility of a Class of Set Constraints and.. - Melski, Reps (1998) (13 citations) (Correct)
No context found.
M.S. Hecht. Flow Analysis of Computer Programs. North-Holland, 1977.
A Note on Karr's Algorithm - Müller-Olm, Seidl (2004) (Correct)
No context found.
M. S. Hecht. Flow analysis of computer programs. Elsevier North-Holland, 1977.
Software Verification for Programmable Logic Controllers - Huuck (2003) (Correct)
No context found.
M. S. Hecht. Flow Analysis of Computer Programs. Elsevier North-Holland, 1977.
Analyse Statique De Programmes : Fondements Et Applications - Jensen (1999) (Correct)
No context found.
M. S. Hecht. Flow Analysis of Computer Programs. Programming Languages series. North-Holland, New York, 1977.
A Conservative Data Flow Algorithm for Detecting All Pairs.. - Naumovich, Avrunin (2001) (13 citations) (Correct)
No context found.
M. S. Hecht. Flow Analysis of Computer Programs. North-Holland, New York, 1977. 37
Simple Relational Correctness Proofs for Static Analyses and.. - Benton (2004) (4 citations) (Correct)
No context found.
M S. Hecht. Flow Analysis of Computer Programs. Elsevier North-Holland, 1977.
Folklore Confirmed: Reducible Flow Graphs are.. - Carter, Ferrante.. (2003) (Correct)
No context found.
M. S. Hecht. Flow Analysis of Computer Programs. North Holland, 1977.
Computing Polynomial Program Invariants - Müller-Olm, Seidl (2003) (Correct)
No context found.
M. S. Hecht. Flow analysis of computer programs. Elsevier North-Holland, 1977.
Demand-Driven Analysis of Explicitly Parallel - Programs An Approach (2001) (Correct)
No context found.
M. S. Hecht. Flow Analysis of Computer Programs. Elsevier, North-Holland, 1977.
First 50 documents Next 50
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