Concepedia

David Gries

DG

Statistics

Publications

2

Citations

117

H-Index

2

Active since

1972

David Gries is an author specializing in program analysis, formal verification, and computational complexity.

Top concepts

Publications per year

1972–1972

2

Publications

2

On Classes of Program Schemata

Robert L. Constable, David Gries · SIAM Journal on Computing · 1972 · 84 citations

Program Schemes with Pushdown Stores

Steven Brown, David Gries, Thomas G. Szymanski · SIAM Journal on Computing · 1972 · 33 citations

, , +19

1–2 of 2