Ableitung von Programmeigenschaften aus polymorphen Typen in funktional-logischen Sprachen

从函数逻辑语言中的多态类型推导程序属性

• 批准号: 40792451
• 负责人: Professor Dr. Janis Voigtländer
• 金额: --
• 依托单位: Lehrstuhl Theoretische Informatik
• 依托单位国家: 德国
• 项目类别: Research Grants
• 财政年份: 2007
• 资助国家: 德国
• 起止时间: 2006-12-31 至 2012-12-31
• 项目状态: 已结题
• 来源: https://gepris.dfg.de/gepris/projekt/40792451?language=en
• 关键词: Ableitung; von; Programmeigenschaften; aus; polymorphen

In getypten funktionalen Programmiersprachen (wie Haskell) erlaubt die Theorie relationaler Parametrizität die Herleitung von Aussagen zum Programmverhalten allein aus (polymorphen) Typangaben. Daraus ergeben sich Anwendungsmöglichkeiten etwa zur Programmverifikation und im Bereich der Transformation von Programmen zur Effizienzsteigerung. Im Mittelpunkt der bisherigen Projektphase standen sowohl theoretische als auch praktische Aspekte bei der Erweiterung des betrachteten Sprachumfangs. Dabei blieb das grundlegende Paradigma jedoch auf die rein funktionale Programmierung beschränkt. Für um Konzepte der Logikprogrammierung angereicherte funktional-logische Sprachen (wie Curry) ist das entsprechende Potential noch nicht erschlossen. Ziele der Fortführung des Projektes sind nun die theoretische Fundierung relationaler Parametrizität für das kombinierte Paradigma, sowie deren konkrete Nutzbarmachung in diesem Kontext.

在获取函数式编程语言（如Haskell）时，提出了一种关系理论参数化方法，该方法可以从（多态的）类型化语言中提取程序的所有参数。这是一种程序验证的方法，也是一种有效的程序转换方法。在中等收入项目阶段，理论上也有一些实践方面的问题，但这些问题是相互矛盾的。这是一个非常重要的范例，它使功能性编程变得更加简单。对于一个逻辑程序设计师来说，功能逻辑语言（如咖喱）的潜力还没有完全消失。Ziele der Fortführung des Projektes sind nun die theoretische Fundierung relationaler Parametrizität für das kombinierte Paradigma，sowie deren konkrete Nutzbarmachung in diesem Kontext.