Innehåll
- Definition - Vad betyder denotational semantik?
- En introduktion till Microsoft Azure och Microsoft Cloud | I hela denna guide kommer du att lära dig vad cloud computing handlar om och hur Microsoft Azure kan hjälpa dig att migrera och driva ditt företag från molnet.
- Techopedia förklarar Denotational Semantics
Definition - Vad betyder denotational semantik?
Inom datavetenskap är denotationssemantik en metod för att tillhandahålla matematisk mening till system och programmeringsspråk. Med andra ord är denotational semantik en formell teknik för att uttrycka den semantiska definitionen av ett programmeringsspråk.
Metoden utvecklades 1960-talet vid Oxford University av Christopher Stracheys Programming Research Group och innefattar notational elegance och matematisk rigoritet. Även om den ursprungligen utformades som ett analysverktyg, har denotationssemantik använts som ett verktyg för implementering och språkdesign.
En introduktion till Microsoft Azure och Microsoft Cloud | I hela denna guide kommer du att lära dig vad cloud computing handlar om och hur Microsoft Azure kan hjälpa dig att migrera och driva ditt företag från molnet.
Techopedia förklarar Denotational Semantics
I denotationssemantik är den grundläggande idén att kartlägga varje syntaktisk enhet som är associerad med ett programmeringsspråk till någon form av matematisk enhet, och översätta programmeringsspråkkonstruktioner till matematiska objekt.
Denotational semantisk definition har fem delar:
- Semantiska ekvationer
- Syntaktiska kategorier
- Semantiska funktioner
- Backus normalform (BNF) som definierar strukturen för de syntaktiska kategorierna
- Värde domäner
Denotational semantik har utvecklats för moderna språk som har funktioner som undantag och samtidighet. En av de viktigaste funktionerna i denotationssemantik är att semantik ska vara sammansatt, vilket betyder att en programmeringsfras kan betecknas från beteckningarna för dess underfraser.
Det finns några distinkta fördelar förknippade med denotationssemantik. Det är den enklaste mekanismen för att beskriva betydelsen av mindre program jämfört med andra alternativ. Denotational semantik kan förklara tillstånd i program. Emellertid tenderar denotationssemantik att vara mycket komplex för att beskriva avancerade funktioner som goto-uttalanden och rekursioner.