Indholdsfortegnelse:
Definition - Hvad betyder denotational semantik?
I datalogi er denotational semantik en tilgang til at give matematiske betydning til systemer og programmeringssprog. Med andre ord er denotational semantik en formel teknik til at udtrykke den semantiske definition af et programmeringssprog.
Metoden blev udviklet i 1960'erne ved Oxford University af Christopher Stracheys programmeringsforskningsgruppe og omfatter notational elegance og matematisk strenghed. Selv om den oprindeligt blev designet som et analyse-værktøj, er denotational semantik blevet brugt som et værktøj til implementering og sprogdesign.
Techopedia forklarer Denotational Semantics
I denotational semantik er den grundlæggende idé kortlægning af enhver syntaktisk enhed, der er tilknyttet et programmeringssprog, til en form for matematisk enhed, ved at oversætte programmeringssprogkonstruktioner til matematiske objekter.
Denotational semantisk definition har fem dele:
- Semantiske ligninger
- Syntaktiske kategorier
- Semantiske funktioner
- Backus normal form (BNF), der definerer strukturen i de syntaktiske kategorier
- Værdi domæner
Denotational semantik er udviklet til moderne sprog, der har funktioner som undtagelser og samtid. Et af de vigtige træk ved denotational semantik er, at semantik skal være sammensat, hvilket betyder, at betegnelsen for en programmeringsfrase kan konstrueres ud fra betegnelserne for dens underfraser.
Der er nogle forskellige fordele forbundet med denotationssemantik. Det er den nemmeste mekanisme til at beskrive betydningen af mindre programmer sammenlignet med andre alternativer. Denotational semantik er i stand til at forklare tilstand i programmer. Imidlertid har denotationssemantik en tendens til at være meget kompleks til at beskrive avancerede funktioner som goto-udsagn og rekursioner.
