Automatische Bidirektionalisierung durch programmiersprachliche Techniken

使用编程语言技术自动双向化

基本信息

项目摘要

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.
Gegenstand des Vorhabens sind bidirectionale 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(译为“转换”),在“信息时代”(译为“信息时代”)。<s:1> bergeordnete Fragestellung des Projektes ist, wie solche funcktionspaare mit möglichst wenig aufand and dennoch verlässlich也计划erstelland gewartewerden können。[4][技术与理论][技术与理论][技术与理论][技术与实践]。insbesonere wind der Ansatz verfolt, passass der Programmierer lediglich die Vorwärts-Funktion schreiben muss and dann eine passende Rückwärts-Funktion automatisch synthesisert wind。相关的研究也涉及到以下几个方面:1 .建立一个正式的Aspekte zu Konsistenzgarantien; 2 .建立一个实用主义的Aspekte der Anwendbarkeit和2 . möglichen 2 . ininflses der Intention des Programmierers, 2 .建立一个正式的Konsistenz mehrere Vorwärts-Funktion 2 . inzig dem Gesichtspunkt der formalen Konsistenz mehrere Rückwärts-Funktionen möglich wären。

项目成果

期刊论文数量(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
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了