Control flow treatment in a simple semantics-directed compiler generator (1983)

by Henning Christiansen, Neil Jones
Venue:Formal Description of Programming Concepts II