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.