Es gibt im Bereich der Softwaretechnik viele Werkzeuge, die den Programmentwicklungsproze??? unterst???tzen. Sie stellen die Korrektheit der Implementierung 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, dessen L???sung das Zeitverhalten des Programms angibt. Durch Einf?? ...
Read More
Es gibt im Bereich der Softwaretechnik viele Werkzeuge, die den Programmentwicklungsproze??? unterst???tzen. Sie stellen die Korrektheit der Implementierung 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, dessen L???sung das Zeitverhalten des Programms angibt. Durch Einf???hrung von bedingten Rekurrenzen und Rekurrenzfamilien ist es m???glich, obere und untere Schranken f???r die Zeitkomplexit???t zu finden. Um die mittlere Zeitkomplexit???t zu bestimmen, m???ssen Wahrscheinlichkeiten daf???r berechnet werden, da??? im 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.
Read Less
Add this copy of Automatische Komplexitätsanalyse Funktionaler Programme to cart. $56.35, new condition, Sold by Ingram Customer Returns Center rated 5.0 out of 5 stars, ships from NV, USA, published 1990 by Springer.
Add this copy of Automatische Komplexitätsanalyse Funktionaler Programme to cart. $71.22, new condition, Sold by Ria Christie Books rated 4.0 out of 5 stars, ships from Uxbridge, MIDDLESEX, UNITED KINGDOM, published 1990 by Springer.
Add this copy of Automatische Komplexitätsanalyse Funktionaler Programme to cart. $92.56, good condition, Sold by Bonita rated 4.0 out of 5 stars, ships from Santa Clarita, CA, UNITED STATES, published 1990 by Springer.
