@techreport{R-90-43, TITLE = {DML - a Meta-Language for Compiler Generation from Denotational Specifications}, AUTHOR = {Mikael Pettersson}, YEAR = {1990}, NUMBER = {R-90-43}, INSTITUTION = ida, ADDRESS = idaaddr, ABSTRACTURL = {/publications/cgi-bin/tr-fetch.pl?r-90-43+abstr}, 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.}, IDANR = {LiTH-IDA-R-90-43}