DML-a meta-language and system for the generation of practical and efficient compilers from denotational specifications | IEEE Conference Publication | IEEE Xplore