The synthesizer generator

Semantics of context-free languages

1968 • 1,983 citations

The Cornell program synthesizer

1981 • 712 citations

Proving Properties of Programs by Structural Induction

1969 • 330 citations

Generating Language-Based Environments

2004 • 260 citations

Incremental Context-Dependent Analysis for Language-Based Editors

1983 • 257 citations

Incremental evaluation for attribute grammars with application to syntax-directed editors

1981 • 189 citations

Attribute coupled grammars

1984 • 135 citations

GAG: A Practical Compiler Generator

1982 • 120 citations

Interactive proof checking

1984 • 27 citations

A compiler generator for semantic grammars

1981 • 24 citations

An approach to incremental semantics

1983 • 16 citations

Deleted Work

1955 • 0 citations