Automatische Bidirektionalisierung durch programmiersprachliche Techniken

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

• 批准号: 216035349
• 负责人: Professor Dr. Janis Voigtländer
• 金额: --
• 依托单位: Lehrstuhl Theoretische Informatik
• 依托单位国家: 德国
• 项目类别: Research Grants
• 财政年份: 2012
• 资助国家: 德国
• 起止时间: 2011-12-31 至 2015-12-31
• 项目状态: 已结题
• 来源: https://gepris.dfg.de/gepris/projekt/216035349?language=en
• 关键词: 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.

变革性的连续性：Paare von“vorwärts”“/”rückwärts'-funktionen，死于Konsise，我们致力于发展变革性连续性的发展。我们致力于发展的Mehreren Bereichen bereichen derjections and Transform we Trunsptiment we Trunsptiment and Trunsptiment of Trunsptiment and Trunsptiment we Trunsptiment and Trunsptiment of Trunsptiment and Trunsptiment。为了发展Projektes中的变革性连续性，我们致力于发展Projektes中的变革性连续性。 Daten/Objekten Herstellen致力于发展Projektes中的变革性连续性，这在第二次世界大战深度的变革史上取得了巨大的成功。 DennochVerlässlichALS计划Erstellt unst und Gewartet WerdenKönnen。 DafürSollentechniken aus der theorie der programmierspra​​chen nutzbar gemacht，neu-und weiterentwickelt werden。 insbesondere wird der ansatz verfolgt，dass der programmiererledewärts-funktion schreiben schreiben muss und dann eine passenderückwärts-funktion-funktion automatisth automatmisch automatisch sealttisiert sealnthetisiert wird。相关的信德·达比·索沃尔（Sind Dabei Sowohl）该计划已于1996年建立，目前是一项计划，导致了计划的制定以及1996年建立的计划。