- Tytuł:
- Proof of equivalence of semantic methods for a selected domain-specific language
- Autorzy:
-
Steingartner, William
Novitzka, Valerie
Schreiner, Wolfgang - Data publikacji:
- 2024
- Wydawca:
- Politechnika Częstochowska. Wydawnictwo Politechniki Częstochowskiej
- Tematy:
-
denotational semantics
domain-specific language
language design
natural semantics
proof of equivalence
semantic function
structural induction
semantyka denotacyjna
język specyficzny dla domeny
projektowanie języka
semantyka naturalna
dowód równoważności
funkcja semantyczna
iniekcja strukturalna - Pokaż więcej
- Dostawca treści:
- Biblioteka Nauki
Artykuł