标准 ML 的离线专业化-猫眼课题宝

标准 ML 的离线专业化

批准号：

5377673

负责人：

Professor Dr. Peter Thiemann

金额：

$0.0万

依托单位：

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

项目摘要

项目成果

Professor Dr. Peter Thiemann的其他基金

相似基金

相关文献

中文摘要

翻译

点击翻译按钮获取中文摘要

英文摘要

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.

期刊论文(0)

专著(0)

科研奖励(0)

会议论文