Zeiger als abstrakter Datentyp: komplexitätstheoretische und programmiersprachliche Aspekte

作为抽象数据类型的指针：复杂性理论和编程语言方面

• 批准号: 173526576
• 负责人: Professor Dr. Martin Hofmann (†)
• 金额: --
• 依托单位: fortiss GmbH -Landesforschungsinstitut des Freistaats Bayern für softwareintensive Systeme
• 依托单位国家: 德国
• 项目类别: Research Grants
• 财政年份: 2010
• 资助国家: 德国
• 起止时间: 2009-12-31 至 2014-12-31
• 项目状态: 已结题
• 来源: https://gepris.dfg.de/gepris/projekt/173526576?language=en
• 关键词: Zeiger; als; abstrakter; Datentyp; komplexit

In Programmiersprachen und Logiken werden Graphen und ähnliche Datenstrukturen meist nicht als Bitfolgen sondern als strukturierte Daten behandelt. Der Zugriff auf solche Daten erfolgt dann oft durch Zeiger, mit denen zum Beispiel die Knoten in einem Graphen bezeichnet werden können. In höheren Programmiersprachen wie Java sind diese Zeiger i.d.R. abstrakt, d.h. sie können nur mit bestimmten Operationen wie Gleichheit oder Dereferenzieren manipuliert werden; ihre Repräsentation als Bitfolgen bleibt unzugänglich. In diesem Projekt soll die Programmierung mit solchen abstrakten Zeigern auf ihre Ausdrucksstärke im Sinne der Komplexitätstheorie untersucht werden. Damit sollen Erkenntnisse über die Programmierung von Algorithmen mit logarithmischem Platzbedarf (LOGSPACE) sowie polynomieller Laufzeit (PTIME) gewonnen werden. Insbesondere streben wir eine programmiersprachlich relativierte Trennung der Klassen LOGSPACE und PTIME an. Eine solche besteht aus einer Programmiersprache oder Logik, in der viele natürliche LOGSPACE Algorithmen formuliert werden können, die aber dennoch nicht ganz PTIME erfasst. Eine absolute Trennung von LOGSPACE und PTIME im Turingmaschinenmodell erscheint derzeit unzugänglich und wird hier auch nicht angestrebt. Die theoretischen Erkenntnisse sollen auch zur Verbesserung der praktischen Programmierung mit abstrakten Zeigern in Form von Spezifikationstechniken und Spracherweiterungen beitragen.

在Programmiersprachen und Logiken韦尔登中，Graphen und ähnliche Datenstrukturen meist nicht als Bitfolgen sondern als strukturierte Daten behandelt. Zugriff经常通过Zeiger来解决数据问题，它将节点固定在一个韦尔登上。在这里，Java是Zeiger i.d.R.的编程语言。阿布斯特拉克特山她只知道像Gleiche或Derefreferenzieren manipuliert韦尔登那样进行最佳操作;她的代表性使Bitfolgen变得不那么重要。在这个项目中，程序员可以用韦尔登理论来解释他们的设计。只有在编程中使用非线性平台（LOGSPACE）才能获得多项式时间（PTIME）的韦尔登。我们需要一种相对于Klassen LOGSPACE和PTIME的编程语言。一个最好的解决方案来自一个Programmiersprache或Logik，在非常自然的LOGSPACE表达式中，韦尔登是最好的，但这并不意味着PTIME是最快的。一个绝对的Trennung von LOGSPACE und PTIME im Turingmaschinenmodell erscheint derzeit unzugänglich und wird wauch nicht angestrebt.理论成果也可用于实践程序设计中的抽象形式的特殊化技术和语言规范。