Titlebook: Automatische Komplexit?tsanalyse funktionaler Programme; Wolf Zimmermann Book 1990 Springer-Verlag Berlin Heidelberg 1990 Algorithmen.Funk

Diskectomy

Book 1990m Programm vorkommende Bedingungen wahr bzw. falsch werden. Diese Wahrscheinlichkeiten werden anhand einer probabilistischen Semantik des Programms berechnet. Um m?glichst genaue Schranken für die Zeitkomplexit?t zu erhalten, mu? eine Abh?ngigkeitsanalyse durchgeführt werden. Dies erm?glicht eine genaue Analyse von Divide-and-Conquer-Programmen.

Rankle

祖?zhèn)?/a>

0343-3005 lementierung sicher, nicht aber ihre Effizienz. Die vorliegende Arbeit führt daher eine Methode ein, die es erlaubt, die Zeitkomplexit?t funktionaler Programme automatisch zu ermitteln. Die Grundidee dieser Methode besteht darin, ein funktionales Programm in ein System von Rekurrenzgleichungen zu üb

織物

Globalization and National Economic Welfareschen der Programmstruktur und Gleichung für erzeugenden Funktionen für den Zeitaufwand. Der mittlere Zeitaufwand wird dann durch Analyse der Singularit?ten dieser erzeugenden Funktionen bestimmt [FSZ88].

突襲

領(lǐng)導(dǎo)權(quán)

osteopath

,Das L?sen von Rekurrenzen,et werden k?nnen. Die Rekurrenzsysteme, die man nach der 1. Phase erh?lt, enthalten evtl. verschachtelte Rekurrenzen. L?sungen von Rekurrenzen werden dann in die noch nicht gel?sten Rekurrenzen eingesetzt. Man kann dann folgende F?lle unterscheiden:

CRANK

Book 1990ng sicher, nicht aber ihre Effizienz. Die vorliegende Arbeit führt daher eine Methode ein, die es erlaubt, die Zeitkomplexit?t funktionaler Programme automatisch zu ermitteln. Die Grundidee dieser Methode besteht darin, ein funktionales Programm in ein System von Rekurrenzgleichungen zu übersetzen,

Mutter

撫慰

Einleitung,lungsmethoden). Allen diesen Werkzeugen ist gemeinsam, da? sie eine Menge von Regeln enthalten. Die sukzessive Anwendung dieser Regeln auf eine formale Spezifikation soll zu einer effizienten und korrekten Implementierung der Spezifikation führen. In der Tat stellen diese Werkzeuge die Korrektheit e