Effiziente Algorithmen zur induktiven Programmsynthese
归纳程序综合的高效算法
基本信息
- 批准号:42267097
- 负责人:
- 金额:--
- 依托单位:
- 依托单位国家:德国
- 项目类别:Research Grants
- 财政年份:2007
- 资助国家:德国
- 起止时间:2006-12-31 至 2010-12-31
- 项目状态:已结题
- 来源:
- 关键词:
项目摘要
Induktive Programmierung addressiert das Problem der Konstruktion von rekursiven Programmen aus unvollständigen Spezifikationen, meist aus Eingabe-/ Ausgabe-Beispielen. Es können zwei prinzipielle Ansätze unterschieden werden: Suchbasierte Verfahren erzeugen Hypothesen in Form syntaktisch korrekter Programme und testen die Programme gegen die Spezifikation. Analytische Verfahren arbeiten beispielgetrieben, Programm-Hypothesen werden als kleinste Generalisierungen über Regularitäten der Spezifikation konstruiert. In der ersten Projektphase haben wir IGOR2 als analytischen Ansatz zur induktiven funktionalen Programmierung prototypisch in MAUDE implementiert und mit positiven Ergebnissen mit konkurrierenden Ansätzen verglichen. In der zweiten Projektphase soll IGOR2 nach HASKELL portiert werden, um die Synthese von Programmen mit Funktionen höherer Ordnung zu ermöglichen. Dadurch kann die Mächtigkeit von IGOR2 weiter erhöht werden. Gleichzeitig sollen Heuristiken zur Steuerung der Generierung von partiellen Hypothesen eingeführt werden, um die Effizienz aufrechtzuerhalten. Neben der Unterstützung von Endnutzerprogrammierung soll die Nutzung analytischer induktiver Programmierung als Programmier- Assistenz bei der Entwicklung funktionaler Programme als weiterer Anwendungsbereich erschlossen werden.
工业程序设计解决了程序设计中的问题,也解决了程序设计中的问题。Es könnnen zwei print zipielle ansätze unterschieden den:Suchbasierte Verfahren erzeugen Hypotheen in Syntaktisch korrekter Program and Testen die Program gegen die Spezifikation.这是一种新的分析方法,也是一种新的规范。在更大的工程阶段,我们已经完成了对工业的分析,甚至实现了程序的原型,同时也证实了这一点。在DER Zweiten Projektase soll IGOR2 nach Haskell Portiert中,嗯,这是一种程序设计,它的目的是为了更好地发挥作用。Dadurch kann die Mächtigkeit von IGOR2 weer erhöht den.Gleichzeitig Sollen Heuristiken zur Steuerung der Generierung von Partiellen Hypothen eingeingeinghehrt,Um die Effizienz aufrechtzuerhalten.这是一个非常重要的行业分析程序,也是一个重要的功能程序。
项目成果
期刊论文数量(1)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
An introduction to inductive programming
- DOI:10.1007/s10462-009-9108-7
- 发表时间:2008-03-01
- 期刊:
- 影响因子:12
- 作者:Flener, Pierre;Schmid, Ute
- 通讯作者:Schmid, Ute
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
数据更新时间:{{ journalArticles.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ monograph.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ sciAawards.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ conferencePapers.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ patent.updateTime }}
Professorin Dr. Ute Schmid其他文献
Professorin Dr. Ute Schmid的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
相似海外基金
Algorithmen zur Realisierung von Polytopen in 3D
3D 多面体实现算法
- 批准号:
219074381 - 财政年份:2012
- 资助金额:
-- - 项目类别:
Research Grants
Formale Modelle und Algorithmen zur syntaxbasierten maschinellen Übersetzung natürlicher Sprachen
基于语法的自然语言机器翻译的形式模型和算法
- 批准号:
198961575 - 财政年份:2011
- 资助金额:
-- - 项目类别:
Research Grants
Zeitreihenanalysen zur Verbesserung lokalisatorischer Algorithmen in der Epileptoplogie (D03)
时间序列分析以改进癫痫学中的定位算法(D03)
- 批准号:
158271586 - 财政年份:2010
- 资助金额:
-- - 项目类别:
Collaborative Research Centres
Grundlagenuntersuchungen zur Entwicklung von Algorithmen zur tonraumbasierten Analyse emotionspsychischer Eigenschaften aus Musiksignalen
基于音调空间的音乐信号情感心理特性分析算法开发的基础研究
- 批准号:
159320665 - 财政年份:2010
- 资助金额:
-- - 项目类别:
Research Grants
Algorithmen zur kartographischen Schematisierung
制图图式化算法
- 批准号:
165403776 - 财政年份:2010
- 资助金额:
-- - 项目类别:
Research Fellowships
Entwicklung und Analyse effizienter Algorithmen zur ganzzahligen linearen Optimierung über Polyedern mit zugrunde liegender submodularer Struktur
开发和分析具有底层子模结构的多面体整数线性优化的有效算法
- 批准号:
179239248 - 财政年份:2010
- 资助金额:
-- - 项目类别:
Research Grants
Entwurf und Implementierung von Algorithmen zur quasi-zeitkontinuierlichen digitalen Signalverarbeitung
准连续时间数字信号处理算法的设计与实现
- 批准号:
162797109 - 财政年份:2010
- 资助金额:
-- - 项目类别:
Research Grants
Diskrete Optimierungsmodelle und Algorithmen zur strategischen Planung von Transportnetzen im Einzelwagenverkehr
单车交通运输网络战略规划的离散优化模型和算法
- 批准号:
83248566 - 财政年份:2008
- 资助金额:
-- - 项目类别:
Research Grants
Algorithmen zur Erzeugung quasiregulärer Strukturen in Graphen (AREG)
生成图中拟正则结构的算法(AREG)
- 批准号:
66926305 - 财政年份:2008
- 资助金额:
-- - 项目类别:
Research Grants
Entwicklung von Algorithmen zur Verbesserung des Zugangs zu Servicezentren durch optimale Platzierung der Zentren und Verbesserung der Zugangswege
开发算法,通过优化中心布局和改善访问路线来改善对服务中心的访问
- 批准号:
36494262 - 财政年份:2007
- 资助金额:
-- - 项目类别:
Research Grants