System for the generation of practical and efficient compilers from specifications
References:
Pettersson, M. et al "DML: A Meta-language and System for the Generation of Practical and Efficient Compilers from Denotational Specifications" view details in IEEE Conf Comp Langs April 1992 view details