Login / Signup
DML - a meta-language and system for the generation of practical and efficient compilers from denotational specifications.
Mikael Pettersson
Peter Fritzson
Published in:
ICCL (1992)
Keyphrases
</>
programming language
operational semantics
natural language
general purpose
specification language
formal language
information retrieval
computationally expensive
databases
real world
cost effective
meta level
object oriented programming
computationally demanding
domain specific languages