Als «compilers» getaggte Fragen

5
Compiler Korrektheitsbeweise
Ich bin auf der Suche nach Tutorial-Material, das Compiler-Korrektheitsnachweise, vorzugsweise unter Verwendung von Bezeichnungsmethoden, auf der Ebene eines Studienanfängers enthält. Kennen Sie alternativ einige einfache Compiler-Beispiele, anhand derer ich die Probleme veranschaulichen könnte? (Das erste Beispiel, das mir einfiel, war ein Übersetzer von Infix- zu Postfix-Ausdrücken. Es zeigte jedoch nichts …
2
Hat jemand die polymorphe Defunktionalisierung von Pottier und Gauthier in einem modularen Compiler verwendet?
Die Defunktionalisierung ist eine Programmtransformation, die Programme höherer Ordnung in Programme erster Ordnung umwandelt. Die Idee ist, dass es bei einem gegebenen Programm nur endlich viele Lambda-Abstraktionen gibt, sodass Sie jedes Lambda durch eine ID und jede Funktionsanwendung durch einen Aufruf einer Apply-Prozedur ersetzen können, die auf diese ID verzweigt. …
1
Der Stalin-Compiler optimiert brutal, aber wie?
JM Siskinds Forschungsstatement besagt: Stalin ist ein optimierender Compiler für Scheme, der eine statische Analyse des gesamten Programms durchführt und die Ergebnisse dieser Analyse verwendet, um äußerst effizienten Code zu generieren. Stalin verwendet eine große Sammlung statischer Analysetechniken. Es führt eine neuartige Form der Polyvariantenflussanalyse durch, die eine iterierte monovariante …
14 compilers 
1
Programmminimierung
Die Schaltungsminimierung ist das Problem, um die Größe einer gegebenen Schaltung zu minimieren. Gibt es etwas Ähnliches für allgemeine Programme? Insbesondere ist meine Frage - Gibt es Algorithmen, um die Anzahl der Anweisungen für ein bestimmtes Programm zu minimieren? Ich weiß, dass es ein unentscheidbares Problem ist, aber ich suche …
1
Literatur zur Alias-Analyse
Ich schreibe meine Masterarbeit in CS und arbeite mit Alias-Analyse. Das, was mich interessiert, ist die intraprozedurale, flusssensitive Must- und May-Alias-Analyse für Java-ähnliche Sprachen. Ich suche nach Texten, die die Grundlagen dieses Themas detailliert beschreiben, aber nichts wirklich Passendes finden konnten. Ich habe eine Reihe von Lehrbüchern über Compiler und …
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, …
1
Was sind mögliche Implementierungen von Haskells Typklassen und was sind ihre (Nachteile)?
Soweit ich weiß, wird eine Haskell-Funktion mit Einschränkungen für Typklassen intern zu einer Funktion mit zusätzlichen Argumenten kompiliert, die Wörterbücher mit den erforderlichen Implementierungen für jede bestimmte Typklasse erhalten. Gibt es andere Möglichkeiten, wie Typklassen kompiliert werden? Wenn ja, was sind ihre (Nachteile)? Und welche Compiler verwenden sie?
3
Kann man die algorithmische Analyse automatisieren?
Hat jemand über die Möglichkeit einer Programmiersprache und eines Compilers nachgedacht, so dass der Compiler automatisch asymptotische Analysen im schlimmsten Fall durchführen kann? Der Anwendungsfall, an den ich denke, ist eine Programmiersprache, in der ich Code schreibe und kompiliere. Der Compiler teilt mir mit, dass mein Code beispielsweise in O …
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.