Sciweavers

110
Voted
ESOP
1992
Springer
15 years 27 days ago
A Provably Correct Compiler Generator
We have designed, implemented, and proved the correctness of a compiler generator that accepts action semantic descriptions of imperative programming languages. The generated comp...
Jens Palsberg