Pettersson, M. (1990). DML - a Meta-Language for Compiler Generation from Denotational Specifications. Technical Report LiTH-IDA-R-90-43, Department of Computer and Information Science, Linköping University, Sweden. (bibtex),
Abstract: DML, the Denotational Metal-Language, is a dialect of Standard ML specifically aimed at implementing denotational specifications in a practical way. To meet this goal, it extends Standard ML with BNF rules for data type declarations, optional lazy evaluation, creation of recursive data structures without explicit side-effects, a foreign-language interface and efficient compilation to C. It is our belief that if a system is to succeed in the area of compiler construction, it must be tool-oriented, efficient and able to interface with other tools. Earlier attempts in semantics-directed compiler generation have not really succeeded in this respect - we believe that DML can.
CS Dept TR Overview