Comparing revisions for page 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.
== Metadata ==

* [[relatesTo::System:FSML]]
* [[childOf::Feature:Static semantic]]
* [[instanceOf::Optional feature]]