Denotational sémantika
V informatice, denotational sémantika je jeden z přístupů formovat význam počítačových programů, který je sémantikové využití znalosti matematiky. Ostatní přístupy zahrnují axiomatickou sémantiku a operační sémantiku. (vidět sémantiku programovacích jazyků.)Pole bylo původně vyvinuto Christopherem Strachey a Dana Scott.
Denotational sémantika obecně používá techniky funkčního programování popisovat počítačové jazyky, architektury a programy. Matematika denotational sémantiky je obvykle nyní formulovaná uvnitř teorie domény.
Podobné obory:
- transformace programu
- teorie typu
Odkazy
Klasické dílo na téma je:
Joseph E. Stoy. Denotational sémantika: Scott-Strachey přístup k sémantice programovacího jazyka. MIT tisk, Cambridge, Massachusetts, 1977.