Offline-Spezialisierung für Standard ML

• Applicant: Professor Dr. Peter Thiemann
• Subject Area: Theoretical Computer Science
• Term: from 1997 to 2003
• Project identifier: Deutsche Forschungsgemeinschaft (DFG) - Project number 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 Programme: Research Grants