A sematics directed compiler generator (1982)

by Lawrence Paulson
Venue:In Conference Record of the Ninth Annual ACM Symposium on Principles of Programming Languages