Feature:
Piggyback
Headline
A sub-feature for implementing the static semantic of a language.
Description
By translating object programs according to the translation semantics - the target language of translation, in particular, its type system - may cover some or all aspects of the DSL's static semantics.