Kategori:Programmeringsspråk semantik
Sidor i kategorin "Programmeringsspråk semantik"
A
Action semantik
Algebraisk semantik (datavetenskap)
Axiomatisk semantik
C
Call-by-push-värde
D
Denotationssemantik
J
J operatör
L
Liskov substitution princip
Logiska relationer
N
Normalisering genom utvärdering
O
Observationsekvivalens
Operationell semantik
S
Semantik (datavetenskap)
U
Unifying Theories of Programming