Automatische Bidirektionalisierung durch programmiersprachliche Techniken
使用编程语言技术自动双向化
基本信息
- 批准号:216035349
- 负责人:
- 金额:--
- 依托单位:
- 依托单位国家:德国
- 项目类别:Research Grants
- 财政年份:2012
- 资助国家:德国
- 起止时间:2011-12-31 至 2015-12-31
- 项目状态:已结题
- 来源:
- 关键词:
项目摘要
Gegenstand des Vorhabens sind bidirektionale Transformationen: Paare von ”Vorwärts“/”Rückwärts“-Funktionen, die in konsistenter Weise Beziehungen zwischen zwei Bereichen von Daten/ Objekten herstellen. Derart gekoppelte Transformationen spielen eine wichtige Rolle in mehreren Bereichen der Informatik. Die übergeordnete Fragestellung des Projektes ist, wie solche Funktionspaare mit möglichst wenig Aufwand und dennoch verlässlich als Programme erstellt und gewartet werden können. Dafür sollen Techniken aus der Theorie der Programmiersprachen nutzbar gemacht, neu- und weiterentwickelt werden. Insbesondere wird der Ansatz verfolgt, dass der Programmierer lediglich die Vorwärts-Funktion schreiben muss und dann eine passende Rückwärts-Funktion automatisch synthetisiert wird. Relevant sind dabei sowohl formale Aspekte zu Konsistenzgarantien als auch pragmatische Aspekte der Anwendbarkeit und des möglichen Einflusses der Intention des Programmierers, wenn zu einer gegebenen Vorwärts-Funktion unter einzig dem Gesichtspunkt der formalen Konsistenz mehrere Rückwärts-Funktionen möglich wären.
从Vorhabens sind bidirektionale Transformationen:Paare von“Vorwärts”/“RüCKWärts”-Funktionen,死于中心Weise BezieHungen zwitchen zwei Bereichen von Daten/Objekten Herstellen。从信息时代到信息时代的转变。这是一项新的研究和开发项目,其功能是MIT Möglichst Venig Aufwand and dennoch verlässlich Program erstellt and gewartet wwden können。从程序设计的角度来看,这是一种新的和更多的技术。在这种情况下,编程人员可以通过以下方式实现功能:自动生成和综合功能。与此相关的是,在编程人员的意向下,我们将为编程人员提供实用的技术支持,并在此基础上实现其功能。
项目成果
期刊论文数量(0)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
数据更新时间:{{ journalArticles.updateTime }}
{{
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 }}
Professor Dr. Janis Voigtländer其他文献
Professor Dr. Janis Voigtländer的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
{{ truncateString('Professor Dr. Janis Voigtländer', 18)}}的其他基金
Ableitung von Programmeigenschaften aus polymorphen Typen in funktional-logischen Sprachen
从函数逻辑语言中的多态类型推导程序属性
- 批准号:
40792451 - 财政年份:2007
- 资助金额:
-- - 项目类别:
Research Grants