Véronique Royer. Transformations of denotational semantics in semantics directed compiler generation. In Proceedings of the 1986 SIGPLAN Symposium on Compiler Construction, Palo Alto, California, USA, June 25-27, 1986. pages 68-73, ACM, 1986. [doi]
Abstract is missing.