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...
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...
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...
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...