Ein algebraischer Ansatz für Kompilerkorrektheitsbeweise

In dieser Arbeit soll ein algebraisches Verfahren vorgestellt werden, mit dem das Problem, die Korrektheit von Kompilern einfacher Programmiersprachen zu beweisen, behandelt werden kann. Es lehnt sich an eine Arbeit von Morris [6] an, die auf Ergebnissen von Burstall und Landin [2], [3], [5] aufbaut. In [7] ist dieses gegenuber [6] weiterentwickelte Verfahren ausfuhrlich dargestellt.