Inhalt
- Definition - Was bedeutet Denotational Semantics?
- Eine Einführung in Microsoft Azure und die Microsoft Cloud | In diesem Handbuch erfahren Sie, worum es beim Cloud-Computing geht und wie Microsoft Azure Sie bei der Migration und Ausführung Ihres Unternehmens aus der Cloud unterstützen kann.
- Techopedia erklärt die Denotational Semantics
Definition - Was bedeutet Denotational Semantics?
In der Informatik ist die Denotationssemantik ein Ansatz, um Systemen und Programmiersprachen mathematische Bedeutung zu verleihen. Mit anderen Worten, die Denotationssemantik ist eine formale Technik, um die semantische Definition einer Programmiersprache auszudrücken.
Die Methode wurde in den 1960er Jahren an der Universität Oxford von der Christopher Stracheys Programming Research Group entwickelt und umfasst notationale Eleganz und mathematische Genauigkeit. Obwohl ursprünglich als Analysewerkzeug konzipiert, wurde die Denotationssemantik als Werkzeug für die Implementierung und das Sprachdesign verwendet.
Eine Einführung in Microsoft Azure und die Microsoft Cloud | In diesem Handbuch erfahren Sie, worum es beim Cloud-Computing geht und wie Microsoft Azure Sie bei der Migration und Ausführung Ihres Unternehmens aus der Cloud unterstützen kann.
Techopedia erklärt die Denotational Semantics
In der Denotationssemantik besteht die Grundidee darin, jede syntaktische Entität, die einer Programmiersprache zugeordnet ist, in eine Form einer mathematischen Entität abzubilden und Programmiersprachenkonstrukte in mathematische Objekte zu übersetzen.
Die semantische Denotationsdefinition besteht aus fünf Teilen:
- Semantische Gleichungen
- Syntaktische Kategorien
- Semantische Funktionen
- Backus-Normalform (BNF), die die Struktur der syntaktischen Kategorien definiert
- Wertdomänen
Die Denotationssemantik wurde für moderne Sprachen entwickelt, die Merkmale wie Ausnahmen und Parallelität aufweisen. Eines der wichtigen Merkmale der Denotationssemantik ist, dass die Semantik kompositorisch sein sollte, was bedeutet, dass die Bezeichnung einer Programmierphrase aus den Bezeichnungen ihrer Unterphrasen konstruiert werden kann.
Mit der Denotationssemantik sind einige eindeutige Vorteile verbunden. Dies ist der einfachste Mechanismus, um die Bedeutung kleinerer Programme im Vergleich zu anderen Alternativen zu beschreiben. Die Denotationssemantik ist in der Lage, Zustände in Programmen zu erklären. Die Denotationssemantik ist jedoch in der Regel sehr komplex, um erweiterte Funktionen wie goto-Anweisungen und Rekursionen zu beschreiben.