Als «semantics» getaggte Fragen

Die Semantik beschreibt formal die Bedeutung einer Syntax.

3
Ist die Referenzzählung von GC gegenüber der Verfolgung von GC eine Spracheigenschaft oder eine Implementierungseigenschaft?
Wir hören manchmal "Swift macht keine klassische (Tracing-) GC, es verwendet ARC." Ich bin mir jedoch nicht sicher, ob die Swift-Semantik irgendetwas enthält, das eine Referenzzählung erfordert. Es scheint, dass man seinen eigenen Swift-Compiler und seine eigene Laufzeit erstellen könnte, um Tracing-GC zu verwenden. Was genau ist an Swift "referenzgezählt"? …
2
Gibt es eine kanonische Definition der „reinen“ Funktion?
StackOverflow hat mich hier gezeigt, daher könnte die Frage für Laien etwas zutreffend sein. Wikipedia definiert reine Funktionen als In der Computerprogrammierung kann eine Funktion als reine Funktion beschrieben werden, wenn beide Aussagen über die Funktion gelten: Die Funktion wertet immer den gleichen Ergebniswert bei gleichen Argumentwerten aus. Der Funktionsergebniswert …
1
Ausdruckskraft moderner regulärer Ausdrücke
Ich habe kürzlich mit einem Freund über eine Website gesprochen, auf der Regex-Herausforderungen vorgeschlagen wurden, wobei hauptsächlich eine Gruppe von Wörtern mit einer speziellen Eigenschaft abgeglichen wurde. Er suchte nach einem regulären Ausdruck, der zu Zeichenfolgen passt, bei ||||||||denen die Anzahl der |Primzahlen ist. Ich sagte ihm sofort, dass dies …
1
Lambda-Kalkül: Wie funktionieren Bewertungskontexte?
In der reinen Lambda-Rechnung haben wir die induktiv definierte Menge von Begriffen (die Grammatik): e::=x∣λx.e∣e1e2e::=x∣λx.e∣e1e2e::= x \mid \lambda x . e \mid e_1 e_2 Im Rahmen der Call-by-Value-Bewertungsstrategie haben wir die Inferenzregeln für die Beta-Reduktion und Regeln für die Bewertung von Anwendungen (Kongruenzregeln). Ich versuche zu verstehen, wie Bewertungskontexte die …
1
Formale Beschreibung einer neuen domänenspezifischen Programmiersprache
Ich bin dabei, eine domänenspezifische Sprache zur Darstellung sozialer Lernkonventionen zu implementieren. Teil der Implementierung ist eine formale Beschreibung einer Sprache - ihrer 'Analysis', Symbole und logischen Ausdrücke. Mein Ansatz wäre es, die Sprache durch Beschreibung ihrer Grammatik zu beschreiben, aber es gibt auch Konzepte wie Beziehungen, Dialoge, Erwartungen, die …
2
Formales Ausführungsmodell für Java (oder allgemeine imperative Sprache)
Ich versuche, einige Aussagen über die Ausführung in Java-Programmen unter einigen starken Einschränkungen zu beweisen (im Grunde genommen habe ich die Vermutung, dass zwei Methoden, die eine Reihe von Einschränkungen für eine bestimmte Eingabe erfüllen, äquivalent sind - dh den Wert und den Status danach zurückgeben Ausführung sind identisch). Um …
2
Ist semantische Bewahrung Solidität (oder Korrektheit) oder Vollständigkeit
Bei der Transformation von Begriffen von einer Sprache in eine andere ist die intuitiv gewünschte Eigenschaft die Beibehaltung der Semantik (wie sie beispielsweise hier für eine CPS-Transformation verwendet wird): s⇓v⟹c(s)⇓c(v)s⇓v⟹c(s)⇓c(v) s \Downarrow v \implies c(s) \Downarrow c(v) Ich bin jedoch ein wenig beunruhigt, wenn ich dies mit den klassischen Begriffen …
3
Vererbung und dynamischer Zugriff auf Mitglieder / Attribute und Methoden in Java-ähnlichen Sprachen
Ich habe eine Frage zur Vererbung in Java-ähnlichen OO-Programmiersprachen. Es kam in meiner Compiler-Klasse vor, als ich erklärte, wie Methoden und deren Aufruf kompiliert werden. Ich habe Java als Beispielquellsprache zum Kompilieren verwendet. Betrachten Sie nun dieses Java-Programm. class A { public int x = 0; void f () { …
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.