Das Ergebnis der statischen Beschreibung ist eine Repräsentation der Spezifikation in abstrakter Syntax.
The result of the static semantics is a representation of the specification in abstract syntax.
Es ist der AFI-Wert 48 zu verwenden, der eine lokale Format-IDI mit dezimaler abstrakter Syntax angibt.
The AFI value 48 shall be used, indicating a Local format IDI with decimal abstract syntax.
(NE) Es ist der AFI-Wert 48 zu verwenden, der eine lokale Format-IDI mit dezimaler abstrakter Syntax angibt.
The AFI value 48 shall be used, indicating a Local format IDI with decimal abstract syntax.
Dazu beschreiben wir detailliert die Formalisierung mit Abstrakter Syntax, Typsystem und der Operationellen Semantik sowie ein Anwendungsbeispiel, geben einen Beweis der Typsicherheit, entwickeln eine Axiomatische Semantik und beweisen deren Korrektheit und Vollständigkeit.
We formalize the abstract syntax, and the static semantics including the type system and well-formedness conditions, as well as an operational (evaluation) semantics of the language.
Dazu beschreiben wir detailliert die Formalisierung mit Abstrakter Syntax, Typsystem und der Operationellen Semantik sowie ein Anwendungsbeispiel, geben einen B...
We formalize the abstract syntax, and the static semantics including the type system and well-formedness conditions, as well as an operational (evaluation) semantics of the... Translated
