Denotaciona semantika

U računarstvu, denotaciona semantika (na početku poznata kao matematička semantika ili Skot—Strejčijeva semantika) predstavlja pristup formalizovanja značenja programskih jezika konstruišući matematičke objekte (nazvane denotacije) koje opisuju značenja izraza iz jezika. Drugi pristupi za pružanje formalne semantike programskih jezika uključuju aksiomatsku semantiku i operativnu semantiku.

Široko gledano, denotaciona semantika se bavi pronalaženjem matematičkih objekata zvanih domenima koji predstavljaju koji programi rade. Na primer, programi (ili programske fraze) mogu biti predstavljeni delimičnim funkcijama ili igrama između okruženja i sistema.

Važan princip denotacione semantike jeste to što se semantika treba voditi na sledećem principu: označavanje programske fraze treba izgrađivati od oznaka njegovih podfraza.