W informatyce , denotational semantyka jest jednym z podejść do sformalizowania sens programu przy użyciu matematyki . Inne podejścia obejmują semantykę aksjomatyczną i semantykę operacyjną .
Dyscyplinę tę wprowadzili Christopher Strachey i Dana Scott .
Ogólnie rzecz biorąc, semantyka denotacyjna wykorzystuje techniki programowania funkcjonalnego do opisu języków, architektur i programów komputerowych. Matematyka używana w semantyce denotacyjnej jest częścią tego, co obecnie nazywa się teorią domeny .
Semantyka denotacyjna umożliwia przypisanie znaczenia programowi komputerowemu jako funkcji w matematycznym sensie tego terminu. W przeciwieństwie do semantyki operacyjnej ma na celu nadanie semantyce języka silniejszych właściwości strukturalnych. Symbolicznym przykładem jest kompozycja: semantyka denotacyjna sekwencji dwóch programów jest kompozycją odpowiadającej im semantyki.