Programmiersprachliche Aspekte sublinearer Platzkomplexitätsklassen

在diesem project sollen Komplexitätsklassen中，die duringen speciicherplatzbedarf gekenzzeichnet sind， maschinenunabhängig和ressourcenfrei durch Verwendung von logischen和programmierspachlichen Konzepten characterterisierwerden。数学理论研究中心：<s:1>自然科学研究中心：自动分析中心：Abschätzung计算机科学研究中心：计算机科学研究中心：<s:1>计算机科学研究中心。Eine andere Anwendung ist die Entwicklung spezifischer Optimierungen， die sich aus der komplexitätstheoretischen分析ergen。<s:1> r多项式Rechenzeit (P) und höhere Klassen sind solche Charakterisierungen seit längerer Zeit bekant；dr . kleinere Klassen, die durch logarithmischen Speicherplatzbedarf definitersind, existtitien daggenkeine odern rudimentäre Ansätze。Im Zusammenhang mit den erwähnten Anwendungen sgerade disese von besonderem Interesse bei stark ressourcenbeschränkten Szenarien， wei点对点计算，ingebetteten系统，移动代码。“我的理论是我的理论，我的理论是我的理论，我的理论是我的理论。”

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.