225 citations found. Retrieving documents...
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