Taula de continguts:
Definició: què significa la semàntica denotacional?
En informàtica, la semàntica denotacional és un enfocament per proporcionar significat matemàtic als sistemes i llenguatges de programació. En altres paraules, la semàntica denotacional és una tècnica formal per expressar la definició semàntica d’un llenguatge de programació.
Desenvolupada als anys seixanta a la Universitat d'Oxford pel Grup de Recerca de Programació de Christopher Strachey, la metodologia inclou elegància i rigor matemàtic. Tot i que inicialment va ser dissenyada com a eina d’anàlisi, la semàntica denotacional s’ha utilitzat com a eina d’implementació i disseny de llenguatges.
Techopedia explica la semàntica denotacional
En la semàntica denotacional, la idea bàsica és mapar tota entitat sintàctica associada amb un llenguatge de programació a alguna forma d’entitat matemàtica, traduint construccions del llenguatge de programació a objectes matemàtics.
La definició semàntica denotacional té cinc parts:
- Equacions semàntiques
- Les categories sintàctiques
- Funcions semàntiques
- La forma backus normal (BNF) que defineix l'estructura de les categories sintàctiques
- Dominis de valor
La semàntica denotacional s'ha desenvolupat per a llenguatges moderns que presenten característiques com excepcions i concurrència. Una de les característiques importants de la semàntica denotacional és que la semàntica hauria de ser compositiva, és a dir, la denotació d'una frase de programació es pot construir a partir de les denotacions de les seves subfrases.
Hi ha alguns avantatges diferents associats a la semàntica denotacional. És el mecanisme més fàcil per descriure el significat de programes més petits en comparació amb altres alternatives. La semàntica denotacional és capaç d'explicar l'estat en els programes. No obstant això, la semàntica denotacional sol ser molt complexa per descriure funcions avançades com les afirmacions i les recursions goto.
