Formal semantics and compiler generation. In (1984)

by U Pleban
Venue:Proc. SIGPLAN ‘84 Symp