Offline-Spezialisierung für Standard ML

Das Ziel dieses Projektes ist die Pflege von MLOPE sowie eine Erweiterung des Systems für neue Aufwendungen. Bei der Erweiterung handelt es sich um getrennte Spezialisierung. Getrennte Spezialisierung ermöglicht den Einsatz von MLOPE in zwei wichtigen neuen Einsatzgebieten. Erstens ermöglicht die Erweiterung die semantikbasierte Generierung von Übersetzern, die für getrennte Übersetzung geeignet sind. Zweitens können Just-in-Time (JIT) Übersetzer und Programmtransformierer für dynamisch geladenen Code erzeugt werden.

DFG-Verfahren Sachbeihilfen