Innholdsfortegnelse:
Definisjon - Hva betyr Denotational Semantics?
I informatikk er denotasjonell semantikk en tilnærming for å gi matematisk mening til systemer og programmeringsspråk. Denotasjonssemantikk er med andre ord en formell teknikk for å uttrykke den semantiske definisjonen av et programmeringsspråk.
Metodikken ble utviklet på 1960-tallet ved Oxford University av Christopher Strachey's Programming Research Group, og omfatter metodisk eleganse og matematisk strenghet. Selv om den opprinnelig ble designet som et analyseverktøy, har denotasjonell semantikk blitt brukt som et verktøy for implementering og språkdesign.
Techopedia forklarer Denotational Semantics
I denotasjonssemantikk er den grunnleggende ideen å kartlegge enhver syntaktisk enhet knyttet til et programmeringsspråk til en form for matematisk enhet, og oversette programmeringsspråkkonstruksjoner til matematiske objekter.
Denotasjonell semantisk definisjon har fem deler:
- Semantiske ligninger
- Syntaktiske kategorier
- Semantiske funksjoner
- Backus normalform (BNF) som definerer strukturen til de syntaktiske kategoriene
- Verdidomener
Denotasjonssemantikk er utviklet for moderne språk som har funksjoner som unntak og samtidighet. En av de viktige egenskapene ved denotasjonell semantikk er at semantikk skal være sammensatt, noe som betyr at betegnelse på en programmeringsfrase kan konstrueres ut fra betegnelsene i underfrasene.
Det er noen tydelige fordeler forbundet med denotasjonell semantikk. Det er den enkleste mekanismen for å beskrive betydningen av mindre programmer sammenlignet med andre alternativer. Denotasjonssemantikk er i stand til å forklare tilstand i programmer. Imidlertid har denotasjonssemantikk en tendens til å være veldig kompleks for å beskrive avanserte funksjoner som goto-utsagn og rekursjoner.
