IDA Dept. of Computer and Information science, Linköping University

IDA Technical Reports: abstract

Generated: Wed, 20 Sep 2017 09:40:03

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.

Goto (at Linköping University): CS Dept TR Overview