Automatische Analyse des Ressourcenbedarfs von imperativen Programmen
Jan Mehler
Broschiertes Buch

Automatische Analyse des Ressourcenbedarfs von imperativen Programmen

Theoretische Grundlagen

Versandkostenfrei!
Versandfertig in 1-2 Wochen
49,00 €
inkl. MwSt.
PAYBACK Punkte
0 °P sammeln!
Inhaltlich unveränderte Neuauflage. In der Komplexitätstheorie ist lange bekannt, dass es im Allgemeinen nicht möglich ist Aussagen zum Ressourcenbedarf von Programmen zu ent scheiden. So ist es z.B. unmöglich zu entscheiden, ob ein Programm eine polynomielle Laufzeit besitzt. Dennoch ist es möglich Verfahren zu ent wickeln, die manchen Programmen einen maximalen Ressourcenbedarf zerti fizieren können. Zertifizieren bedeutet hierbei, dass das Verfahren zwar im Erfolgsfall eine obere Schranke des Ressourcenbedarfs garantieren kann, aber bei Misserfolg nicht garantieren kann, dass eine sol...