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.
|