Offline-Spezialisierung für Standard ML

• Antragsteller: Professor Dr. Peter Thiemann
• Fachliche Zuordnung: Theoretische Informatik
• Förderung: Förderung von 1997 bis 2003
• Projektkennung: Deutsche Forschungsgemeinschaft (DFG) - Projektnummer 5377673

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