Items related to Automatische Komplexitätsanalyse funktionaler Programme:...
Automatische Komplexitätsanalyse funktionaler Programme: 261 (Informatik-Fachberichte, 261) - Softcover
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.
"synopsis" may belong to another edition of this title.
- PublisherSpringer
- Publication date1990
- ISBN 10 354053430X
- ISBN 13 9783540534303
- BindingPerfect Paperback
- Edition number1
- Number of pages203
Buy New
Learn more about this copy
£ 46.29
Shipping:
£ 2.07
Within U.S.A.
Top Search Results from the AbeBooks Marketplace
Seller Image
Automatische Komplexitätsanalyse Funktionaler Programme -Language: german
Seller:
Rating
Book Description Condition: New. Seller Inventory # 20391425-n
Buy New
£ 46.29
Convert currency
Seller Image
Automatische Komplexitätsanalyse funktionaler Programme (Informatik-Fachberichte) (German Edition) by Zimmermann, Wolf [Perfect Paperback ]
Seller:
Rating
Book Description Soft Cover. Condition: new. Seller Inventory # 9783540534303
Buy New
£ 48.43
Convert currency
Stock Image
Automatische Komplexitätsanalyse funktionaler Programme (Informatik-Fachberichte, 261) (German Edition)
Published by
Springer
(1990)
ISBN 10: 354053430X
ISBN 13: 9783540534303
New
Softcover
Quantity: > 20
Seller:
Rating
Book Description Condition: New. Seller Inventory # ABLIING23Mar3113020169628
Buy New
£ 51.82
Convert currency
Stock Image
Automatische Komplexitätsanalyse funktionaler Programme
Published by
Springer
(1990)
ISBN 10: 354053430X
ISBN 13: 9783540534303
New
Softcover
Quantity: > 20
Seller:
Rating
Book Description Condition: New. PRINT ON DEMAND Book; New; Fast Shipping from the UK. No. book. Seller Inventory # ria9783540534303_lsuk
Buy New
£ 48.96
Convert currency
Stock Image
Automatische Komplexitatsanalyse funktionaler Programme
Seller:
Rating
Book Description PF. Condition: New. Seller Inventory # 6666-IUK-9783540534303
Buy New
£ 46.11
Convert currency
Seller Image
Automatische Komplexitätsanalyse Funktionaler Programme -Language: german
Seller:
Rating
Book Description Condition: New. Seller Inventory # 20391425-n
Buy New
£ 48.59
Convert currency
Seller Image
Automatische Komplexitätsanalyse funktionaler Programme
Published by
Springer Berlin Heidelberg Nov 1990
(1990)
ISBN 10: 354053430X
ISBN 13: 9783540534303
New
Taschenbuch
Quantity: 2
Seller:
Rating
Book Description Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 208 pp. Deutsch. Seller Inventory # 9783540534303
Buy New
£ 48.25
Convert currency
Stock Image
Automatische Komplexitätsanalyse funktionaler Programme (Informatik-Fachberichte) (German Edition)
Seller:
Rating
Book Description Paperback. Condition: Brand New. spiral-bound edition. 203 pages. German language. 9.53x6.70x0.47 inches. In Stock. Seller Inventory # x-354053430X
Buy New
£ 61.54
Convert currency
Seller Image
Automatische Komplexitätsanalyse funktionaler Programme
Published by
Springer Berlin Heidelberg
(1990)
ISBN 10: 354053430X
ISBN 13: 9783540534303
New
Taschenbuch
Quantity: 1
Seller:
Rating
Book Description Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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. Seller Inventory # 9783540534303
Buy New
£ 48.25
Convert currency
Seller Image
Automatische Komplexitaetsanalyse funktionaler Programme
Published by
Springer Berlin Heidelberg
(1990)
ISBN 10: 354053430X
ISBN 13: 9783540534303
New
Softcover
Quantity: > 20
Seller:
Rating
Book Description Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Es gibt im Bereich der Softwaretechnik viele Werkzeuge, die den Programmentwicklungsprozess unterstuetzen. Sie stellen die Korrektheit der Implementierung sicher, nicht aber ihre Effizienz. Die vorliegende Arbeit fuehrt daher eine Methode ein, die es erlaubt, . Seller Inventory # 4892774
Buy New
£ 48.25
Convert currency