Računarska semiotika — разлика између измена

Садржај обрисан Садржај додат
Нова страница: Iz Vikipedije, slobodne enciklopedije U teoriji programskog jezika, semantika je polje koje se bavi rigoroznom matematičkom proučavanjem značenja programskih jezika.…
 
Нема описа измене
Ред 3:
 
Formalna semantika, na primer, pomaže pri pisanju kompajlera, bolje razumije šta program radi i da dokaže, na primjer, da je sljedeća ako izjava
 
if 1 = 1 then S1 else S2
has the same effect as S1 alone.