Als «operational-semantics» getaggte Fragen

1
Können wir in der Programmiersprache streng syntaktische und semantische Methoden unterscheiden?
Während von starken Normalisierungsbeweisen die Rede ist, kontrastiert dieser Kommentar das "Normalformmodell" mit "rein syntaktischen Methoden". Dies bringt mich zu einer grundlegenderen Frage zurück: Können wir syntaktische und semantische Konstruktionen angesichts syntaxbasierter Modelle immer noch streng unterscheiden? Was ist mit Termmodellen für Algebren, Henkin-Modellen für Logiken erster Ordnung? Was ist …
1
Kann Schemes call / cc alle bekannten Kontrollflussstrukturen implementieren?
Die Seite "Advanced Scheme: Some Naughty Bits" lautet: Fortsetzungen sind ein mächtiges Kontrollflusskonstrukt, aus dem sich nahezu jede andere Kontrollflussstruktur ableiten lässt. Ich dachte, dass Schemas call/cc, die mit dem J-Operator von Peter Landin verwandt sind (*), verwendet werden könnten, um eine bekannte Kontrollflussstruktur zu implementieren ? Bei "Kontrollflussstruktur" denke …
3
Für welche Sprachen gibt es bereits eine Theorie der Beobachtungsäquivalenz?
Für einen Korrektheitsnachweis suche ich nach einem brauchbaren Begriff der Programmäquivalenz für Barendregts reine Typsysteme (PTS); Fehlt das, für genügend spezifische Typsysteme. Mein Ziel ist es einfach, den Begriff zu verwenden und ihn nicht um seiner selbst willen zu untersuchen.≅≅\cong Dieser Begriff sollte " extensional " sein - insbesondere um …
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.