programming language semantics (Q1437428)
Jump to navigation
Jump to search
the field concerned with the rigorous mathematical study of the meaning of programming languages
- semantics
- formal semantics
- program semantics
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | programming language semantics |
the field concerned with the rigorous mathematical study of the meaning of programming languages |
|
Statements
Identifiers
1 reference
Sitelinks
Wikipedia(23 entries)
- alswiki Formale Semantik
- arwiki علم الدلالة الشكلي
- azwiki Semantika (informatika)
- cswiki Sémantika programovacích jazyků
- cvwiki Семантика (программăлани)
- dewiki Formale Semantik
- elwiki Τυπική σημασιολογία των γλωσσών προγραμματισμού
- enwiki Semantics (computer science)
- eswiki Semántica de lenguajes de programación
- fawiki معنیشناسی (علوم رایانه)
- frwiki Sémantique des langages de programmation
- hrwiki Formalna semantika programskih jezika
- itwiki Semantica formale
- jawiki プログラム意味論
- kowiki 의미론 (컴퓨터 과학)
- mkwiki Семантика на програмски јазик
- nlwiki Semantiek (informatica)
- ptwiki Semântica formal
- ruwiki Семантика (программирование)
- srwiki Семантика програмских језика
- ukwiki Семантика мов програмування
- zh_yuewiki 語義 (程式語言)
- zhwiki 形式语义学