Programmiersprachliche Aspekte sublinearer Platzkomplexitätsklassen

在该项目中，通过逻辑和程序设计语言的特点韦尔登实现了语言平台的功能，机器的运行和资源的自由。Neben theoretischen Einsichten über die Natur dieser Klassen ist dies bei der Entwicklung automatischer Analysen zur Abschätzung von Laufzeit und Platzverbrauch von Programmen nützlich.这是一种基于复杂理论分析的最优化发展模式。Für polynomielle Rechenzeit（P）und höhere Klassen sind solche Charakterisierungen seit längerer Zeit bekannt; für kleinere Klassen，die durch durch mischen Speicherplatelet darf definiert sind，decomtieren dagegen keine or der努尔rudimentäre Ansätze.我与其他人一起工作时，他们的兴趣是通过点对点计算、一个更好的系统和移动代码来实现的。在这个项目中，理论基础在前向发展中是稳固的，韦尔登可以作为范例。

In diesem Projekt sollen Komplexitätsklassen, die durch geringen Speicherplatzbedarf gekennzeichnet sind, maschinenunabhängig und ressourcenfrei durch Verwendung von logischen und programmiersprachlichen Konzepten charakterisiert werden. Neben theoretischen Einsichten über die Natur dieser Klassen ist dies bei der Entwicklung automatischer Analysen zur Abschätzung von Laufzeit und Platzverbrauch von Programmen nützlich. Eine andere Anwendung ist die Entwicklung spezifischer Optimierungen, die sich aus der komplexitätstheoretischen Analyse ergeben. Für polynomielle Rechenzeit (P) und höhere Klassen sind solche Charakterisierungen seit längerer Zeit bekannt; für kleinere Klassen, die durch logarithmischen Speicherplatzbedarf definiert sind, existieren dagegen keine oder nur rudimentäre Ansätze. Im Zusammenhang mit den erwähnten Anwendungen sind gerade diese aber von besonderem Interesse bei stark ressourcenbeschränkten Szenarien, wie Peer-to-peer Computing, eingebetteten Systemen, mobilem Code. Obwohl im Projekt die theoretische Grundlagenarbeit im Vordergrund steht, werden solche Anwendungen exemplarisch untersucht.