In meiner Abschlussklasse zum Aufbau von Compilern wurde uns das Konzept eines Gitters vorgestellt. Drei Vorträge wurden den Gittern gewidmet und bis jetzt scheint es eine interessante Tangente zu sein, aber das Dilemma ist, dass es nicht wirklich hilft zu erklären, wie ein Compiler ein Gitter verwendet, um ein konkretes Problem zu lösen.
Wir haben bereits Parsing und Typchecking behandelt. Wir starten gerade die Live-Analyse und Registrierung.
Hinweis: Ich bin nicht auf der Suche nach Ressourcen zum Erstellen von Compilern. Die folgende Liste von Links hat das ziemlich gut abgedeckt. Was ich suche, ist eine Erklärung über die Beziehung zwischen Compilern und Gittern, Bonuspunkte für die meisten Beispiele.
Lernressourcen für Parser, Interpreter und Compiler
Wie viel vom Compiler sollten wir wissen?
Erlernen, einen Compiler zu schreiben
Gitter sind eine sehr nützliche Struktur, um den Zustand während der statischen Analyse des zu kompilierenden Programms darzustellen - z. zum Entfernen von totem Code, der durch die Lebendigkeitsanalyse erkannt wurde, verfügbare / sehr beschäftigte Ausdrücke, Erreichen von Definitionen, Zeichenanalyse und konstante Ausbreitung.
Hier ist eine sehr gute Lektüre, wenn Sie die Details wollen: Skript zur statischen Analyse
Tags und Links math compiler-construction