Theoretische Informatik semantics

1

Was ist der Unterschied zwischen Bedeutung und Bezeichnung?

In der Semantik der Programmiersprache wird oft gehört, dass Menschen über Bedeutung und Bezeichnung sprechen . Sie scheinen nicht gleich zu sein. Was ist der Unterschied? Ist die erstere mit der operativen Semantik verbunden, während die letztere mit der Denotationssemantik verbunden ist? Vielen Dank.

10 pl.programming-languages semantics denotational-semantics operational-semantics

1

Wofür kann in der Domänentheorie die in metrischen Räumen vorhandene zusätzliche Struktur verwendet werden?

Smyths Kapitel im Handbuch der Logik in der Informatik und andere Referenzen beschreiben, wie metrische Räume als Domänen verwendet werden können. Ich verstehe, dass vollständige metrische Räume eindeutige Fixpunkte ergeben, aber ich verstehe nicht, warum metrische Räume wichtig sind. Ich würde mich über Gedanken zu den folgenden Fragen sehr freuen. …

10 semantics topology denotational-semantics domain-theory metrics

3

Was ist ein gutes Wörterbuch für Kategorietheorie und Domänentheorie?

Wenn ich mich mit domänentheoretischen Kategorien befasse (z. B. CPO und CPO), wünsche ich mir häufig ein Wörterbuch für die Sprache der Kategorietheorie in der Domänentheorie.ωω\omega Das heißt, wenn ein Konzept gegeben ist, sagen wir monischer Pfeil, könnte ich es im Wörterbuch nachschlagen und sehen, welche Charakteristika es in den …

10 ct.category-theory semantics denotational-semantics domain-theory

2

Zertifizierter Compiler und Optimierungen in Coq / Agda

Ich interessiere mich für verifizierte Compiler, die in der Martin-Löf-Typentheorie formalisiert sind, dh Coq / Agda. Im Moment habe ich ein kleines Spielzeugbeispiel geschrieben. Damit kann ich beweisen, dass meine Optimierungen korrekt sind. Zum Beispiel können Additionen mit Null eliminiert werden, dh Ausdrücke wie "x + 0". Gibt es Optimierungen, …

9 reference-request pl.programming-languages type-theory semantics compilers

2

Formale Definition / Gegenstück in der Mathematik für „Objekte“ objektorientierter Modelle

Dies ist eine Frage, die ich im Forum der Mathematik-SE gestellt habe und auf die ich hier verwiesen wurde. Also hier ist die Frage- Ich bin ein Neuling sowohl in der formalen Mathematik als auch in der theoretischen Informatik. Bitte nehmen Sie Kontakt mit mir auf, wenn Sie feststellen, dass …

9 pl.programming-languages semantics formal-modeling set-theory object-oriented

2

Präzise Definition von syntatischen Kategorien / syntatischen Domänen in abstrakter Syntax

Ich habe die einleitenden Teile einiger Bücher über Semantik der Programmiersprache gelesen (Gordon, Winskel, Nielson und Nielson, Allison, Stump, Schmidt), und obwohl ich verstehe, was sie unter syntaktischen Kategorien oder syntaktischen Domänen verstehen , habe ich es nicht getan. Ich finde keine strenge und einfache Definition dieser. Gibt es eine …

8 semantics denotational-semantics definitions

2

Kategoriale Semantik für nicht monotone Logik?

Gibt es eine kategoriale Semantik für nicht monotone Logik? Es scheint, dass die einfache Antwort darauf "Nein" ist, da der offensichtliche Begriff der Komposition für jedes Modell einer nicht-monotonen Logik fehlschlägt. Aber gibt es ein Modell, das tatsächlich mit einem entsprechend definierten Begriff der Komposition arbeitet?

8 ct.category-theory semantics denotational-semantics

2

Wo finde ich eine elementare strukturelle Betriebssemantik in kleinen Schritten für Schließungen?

Lexikalische Verschlüsse sind eine Implementierungstechnik in Sprachen mit erstklassigen Funktionen. Ich interessiere mich für eine einfache Funktionsbeschreibung von Funktionsschließungen. Kennt jemand eine solche Beschreibung?

8 reference-request pl.programming-languages semantics compilers

Als «semantics» getaggte Fragen