U teoriji programskog jezika, semantika je polje koje se bavi rigoroznom matematičkom proučavanjem značenja programskih jezika. To čini tako što se procenjuje značenje sintaksičkih pravnih žica definisanih posebnim programskim jezikom, koji pokazuju računanje. U takvom slučaju da bi procena bila sintaktički nelegalnih žica, rezultat bi bio ne računanje. Semantika opisuje procese koje računar prati prilikom izvršavanja programa na tom specifičnom jeziku. Ovo se može prikazati opisivanjem odnosa između unosa i izlaza programa ili objašnjenjem kako će se program izvršiti na određenoj platformi, stoga stvarajući model računanja.
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.
Računarska semiotika je interdisciplinarno polje koje primenjuje, sprovodi i zasniva se na istraživanju u logici, matematici, teoriji i praksi računanja, formalnih i prirodnih jezičkih studija, kognitivnih nauka uopšte i pravilne semiotike. Zajednička tema ovog rada je usvajanje znakovne teorijske perspektive na temu veštačke inteligencije i predstavljanja znanja. Mnoge njene primjene leže u polju interakcije između ljudi i računara (HCI) i osnovnih uređaja prepoznavanja.
