Als «denotational-semantics» getaggte Fragen

2
Welche Fragen kann die Bezeichnungssemantik beantworten, die die Betriebssemantik nicht beantworten kann?
Ich bin mit der operativen Semantik (sowohl in kleinen als auch in großen Schritten) zur Definition von Programmiersprachen vertraut. Ich interessiere mich auch für das Erlernen der Denotationssemantik, bin mir aber nicht sicher, ob sich die Mühe lohnt. Werde ich das gleiche Material nur aus einer anderen Perspektive lernen, oder …
4
Was bedeutet der führende Drehkreuzbetreiber?
Ich weiß, dass verschiedene Autoren unterschiedliche Schreibweisen verwenden, um die Semantik der Programmiersprache darzustellen. In der Tat spricht Guy Steele dieses Problem in einem interessanten Video an . Ich würde gerne wissen, ob jemand weiß, ob der führende Drehkreuzbetreiber eine allgemein anerkannte Bedeutung hat. Zum Beispiel verstehe ich den führenden …
1
Was war der größte Durchbruch zwischen der Hoare-Floyd-Logik und der Scott-Strachey-Semantik?
Ich lese gerade einen Kommentar zu Milners "Der Einsatz von Maschinen zur Unterstützung strenger Beweise" von Mike Gordon durch. In diesem Artikel erklärt er, wie LCF aus den Ideen der Denotationssemantik von Dana Scott und Strachey geboren wurde. Es scheint mir, dass die Floyd-Hoare-Logik nicht ausreichte, um LCF zu entwickeln, …
1
Warum sind berechenbare Funktionen kontinuierlich?
Ich arbeite daran, ein leicht lesbares Dokument über die Denotationssemantik des Lambda-Kalküls zu schreiben . Dafür stelle ich CPOs, Monotonie und Kontinuität vor. Ein CPO ist eine MengeM.MM mit einer Teilbestellung ≤≤\leq und ein unteres Element ⊥⊥\boterforderlich ⊥⊥\bot das kleinste Element in sein M.MM und die Existenz der kleinsten Obergrenze …
Durch die Nutzung unserer Website bestätigen Sie, dass Sie unsere Cookie-Richtlinie und Datenschutzrichtlinie gelesen und verstanden haben.
Licensed under cc by-sa 3.0 with attribution required.