Kategori:Programmeringsspråksteori
Sidor i kategorin "Programmeringsspråksteori"
A
Abstrakt syntax
Abstrakt syntax av högre ordning
B
Biverkning (datavetenskap)
D
Divergens (datavetenskap)
F
Förstklassig funktion
I
Icke-lokal variabel
K
Kvalifikationsprincip
L
Logik för beräkningsbara funktioner
Logikfel
M
Maskinskrivet assemblerspråk
P
POPLmark utmaning
Programmera beräkningsbara funktioner
Programmering på funktionsnivå
Programmeringsspråksteori
Proof-carrying code
R
Referenstransparens
S
Syntaxfel
T
Teorem för strukturerade program
Turing fullständighet
V
Variadisk