Offline-Spezialisierung für Standard ML
Offline-Spezialisierung für Standard ML
批准号:
5377673
负责人:
Professor Dr. Peter Thiemann
金额:
$0.0万
依托单位国家:
德国
项目类别:
Research Grants
财政年份:
1997
资助国家:
德国
项目状态:
已结题
起止时间:
1996-12-31 至 2002-12-31
中文摘要
Das Ziel Dieses is Projektes ist Pfge von MLOPE Sowie eine Erweiterung des Systems für Neue Aufwendungen.这是一件非常重要的事情。在我的生活中,你会得到更多的东西。Erstens ermöglicht die Erweiterung die Semantikbasierte Generierung vonäbersetzern,die für getrennteúbersetzung geeignet sind.Zweitens könnnen Just-in-Time(JIT)äbersetzer and ProgrammTransformierer für Dynamisch Gelenen Code erzeugt(Zweitens könnnen Just-in-Time(JIT)äbersetzer and ProgrammTransformierer für Dynamisch Gelenen Code erzeugt)。
英文摘要
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)
会议论文
LaST-FP: Linear Types and Session Types for Functional Programming
-
批准号:395068988
-
项目类别:Research Grants
-
资助金额:$0.0万
-
财政年份:2018
-
负责人:Professor Dr. Peter Thiemann
-
依托单位:
Integration of Scripts in Reliable Programs
-
批准号:226160369
-
项目类别:Research Grants
-
资助金额:$0.0万
-
财政年份:2013
-
负责人:Professor Dr. Peter Thiemann
-
依托单位:
Type-based gradual enforcement of security policies for concurrent programs
-
批准号:183486094
-
项目类别:Priority Programmes
-
资助金额:$0.0万
-
财政年份:2010
-
负责人:Professor Dr. Peter Thiemann
-
依托单位:
Typbasierte Programmanalyse für Skriptsprachen
-
批准号:22176865
-
项目类别:Research Grants
-
资助金额:$0.0万
-
财政年份:2006
-
负责人:Professor Dr. Peter Thiemann
-
依托单位:
海外基金