Graph grammars and global program data flow analysis

Depth-First Search and Linear Graph Algorithms

1972 • 5,699 citations

Semantics of context-free languages

1968 • 1,983 citations

The Theory of Parsing, Translation, and Compiling

1972 • 1,423 citations

A unified approach to global program optimization

1973 • 872 citations

Flow diagrams, turing machines and languages with only two formation rules

1966 • 783 citations

Control flow analysis

1970 • 686 citations

Structured Programming with go to Statements

1974 • 677 citations

Tree-Manipulating Systems and Church-Rosser Theorems

1973 • 359 citations

BLISS

1971 • 227 citations

Semantics of context-free languages: Correction

1971 • 223 citations

Flow Graph Reducibility

1972 • 175 citations

The Elements of Programming Style

1973 • 170 citations

Characterizations of Reducible Flow Graphs

1974 • 168 citations

Automatic generation of efficient evaluators for attribute grammars

1976 • 163 citations

On the Composition of Well-Structured Programs

1974 • 149 citations

Fast algorithms for the elimination of common subexpressions

1973 • 100 citations

Analysis of a simple algorithm global data flow problems

1973 • 76 citations

Node listings applied to data flow analysis

1975 • 64 citations

Testing for the Church-Rosser Property

1974 • 64 citations

A global flow analysis algorithm

1972 • 62 citations

A Basis for Program Optimization.

1971 • 56 citations

A Mathematical Theory of Global Program Optimization

1974 • 49 citations

Programming Style: Examples and Counterexamples

1974 • 35 citations

Control structures for programming languages

1970 • 31 citations

Use-definition chains with applications

1978 • 29 citations

Analysis of Graphs by Ordering of Nodes

1972 • 28 citations

On attribute grammars and the semantic specification of programming languages.

1975 • 24 citations

Node listings for reducible flow graphs

1975 • 24 citations

A fast and usually linear algorithm for global flow analysis

1975 • 16 citations

The 'natural' set of basic control structures

1973 • 13 citations

Profitability computations on program flow graphs

1976 • 12 citations

A case for while-until

1974 • 10 citations

Lower bounds on the lengths of node sequences in directed graphs

1976 • 10 citations

Flowcharting loops without cycles

1975 • 8 citations

The scope of variable concept

1974 • 6 citations

Structured control in programming languages

1975 • 6 citations

Structured programming and automatic program synthesis

1974 • 6 citations

An unstructured view of structured programming

1974 • 5 citations

Control constructs for programming languages

1975 • 4 citations

The chemistry of control structures

1974 • 4 citations

An algorithm for tracing live variables based on a straightened program graph

1975 • 3 citations

Structured programming and automatic program synthesis

1974 • 1 citations