Power Search
Low Price Guarantee
We Take School POs
Automatische Komplexitätsanalyse Funktionaler Programme
Contributor(s): Zimmermann, Wolf (Author)

View larger image

 ISBN: 354053430X     ISBN-13: 9783540534303
Publisher: Springer
OUR PRICE: $56.99  

Binding Type: Paperback
Language: German
Published: November 1990
Qty:

Click for more in this series: Informatik-Fachberichte
Additional Information
BISAC Categories:
- Computers | Computer Science
- Computers | Programming - Algorithms
- Computers | Programming Languages - General
Dewey: 005.1
LCCN: 91146783
Series: Informatik-Fachberichte
Physical Information: 0.44" H x 6.69" W x 9.61" L (0.75 lbs) 196 pages
Features: Bibliography, Index
 
Descriptions, Reviews, Etc.
Publisher Description:
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.
 
Customer ReviewsSubmit your own review
 
To tell a friend about this book, you must Sign In First!