Engineering meta-languages for specifying software languages (keynote)

The programming and modelling languages currently used in software engineering generally have plenty of tool support. But although their syntax is specified using formal grammars or meta-models, complete formal semantic specifications are seldom provided. The difficulty of reuse of parts of semantic specifications, and of co-evolution of such… (More)