Offline-Spezialisierung für Standard ML

标准 ML 的离线专业化

• 批准号: 5377673
• 负责人: Professor Dr. Peter Thiemann
• 金额: --
• 依托单位: Institut für Informatik (IIF)
• 依托单位国家: 德国
• 项目类别: Research Grants
• 财政年份: 1997
• 资助国家: 德国
• 起止时间: 1996-12-31 至 2002-12-31
• 项目状态: 已结题
• 来源: https://gepris.dfg.de/gepris/projekt/5377673?language=en
• 关键词: Offline; Spezialisierung; 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.

Das Ziel dieses Projektes is die Pflege von MLOPE sowie eine Erweiterung des Systems für neue Aufwendungen.在第二次交易之前，它是一种特殊的交易。在两个新的特殊情况下获得MLOPE的特殊信息。Erstens ermöglicht die Erweiterung die semantikbasierte Generierung von Übersetzern，die für getennte Übersetzung geeignet sind. Zweitens können Just-in-Time（JIT）Übersetzer und Programmtransformierer für dynamisch geladenen Code erzeugt韦尔登.