Copied Automatische Komplexittsanalyse funktionaler Programme
Automatische Komplexittsanalyse funktionaler Programme
Es gibt im Bereich der Softwaretechnik viele Werkzeuge, die den Programmentwicklungsproze untersttzen. Sie stellen die Korrektheit der Implementierung sicher, nicht aber ihre Effizienz. Die vorliegende Arbeit fhrt daher eine Methode ein, die es erlaubt, die Zeitkomplexitt funktionaler Programme automatisch zu ermitteln. Die Grundidee dieser Methode besteht darin, ein funktionales Programm in ein System von Rekurrenzgleichungen zu bersetzen, dessen Lsung das Zeitverhalten des Programms angibt. Durch Einfhrung von bedingten Rekurrenzen und Rekurrenzfamilien ist es mglich, obere und untere Schranken fr die Zeitkomplexitt zu finden. Um die mittlere Zeitkomplexitt zu bestimmen, mssen Wahrscheinlichkeiten dafr berechnet werden, da im Programm vorkommende Bedingungen wahr bzw. falsch werden. Diese Wahrscheinlichkeiten werden anhand einer probabilistischen Semantik des Programms berechnet. Um mglichst genaue Schranken fr die Zeitkomplexitt zu erhalten, mu eine Abhngigkeitsanalyse durchgefhrt werden. Dies ermglicht eine genaue Analyse von Divide-and-Conquer-Programmen.
Price Comparison
| Seller | Contact Seller | List Price | On Sale | Shipping | Best Promo | Final Price | Volume Discount | Financing | Availability | Seller's Page |
|---|---|---|---|---|---|---|---|---|---|---|
|
BEST PRICE 1 Product Purchase
|
|
$49.99 | $49.99 |
|
$49.99 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
Kanzleimanagement in der Praxis
$54.99
The Creation of Israeli Arabic
$84.99
Photochemistry for Biomedical Applications
$129.00
Scalable Big Data Analytics for Protein Bioinformatics
$109.99
Family Medicine
$54.99
Einige Cephalothoracopagi bei Sugetieren
$54.99
Differential Equations in Banach Spaces
$34.99
Advances in Swarm Intelligence
$54.99
Essentials for Quality and Safety Improvement in Health Care
$39.99
Infinitesimally Central Extensions of Chevalley Groups
$29.99
Leitfaden der DIN Normen
$59.99
Misslungene Interventionen in der Extremitten- und Wirbelsulenchirurgie
$84.99
Two Tough Trucks (Hardcover)
$13.49
Graphs and Tables for Use in Radiology / Kurven und Tabellen fr die Radiologie / Graphiques et Tabl
$39.99
Youth, Multiculturalism and Community Cohesion
$39.99
The Search for a Common European Foreign and Security Policy
$39.99
General Pharmacology
$109.99
Culture, Politics and Governing
$54.99
Japans Banken in der Krise
$29.99
Probability and Statistics for Particle Physics
$69.99
Membranes and Transport
$39.99
International Migrations and Local Governance
$159.99
The Future of Workplace Fear
$27.99
Unite Me: Destroy Me and Fracture Me (Shatter Me Novellas) by Tahereh Mafi
$15.99
Neuropsychologische Therapie mit Kindern und Jugendlichen
$69.99
Poetry and Popular Protest
$39.99
Epoxy Resins and Composites I
$84.99
Point Process Calculus in Time and Space
$159.99
Untersuchungen ber das dynamische Verhalten von Stromregelventilen
$69.99
Types for Proofs and Programs
$39.99
Genome Mapping and Genomics in Domestic Animals
$169.00
Behind the Screen
$109.99
The Archaeology of Capitalism in Colonial Contexts
$109.99
microRNA: Cancer
$84.99
Violence in the Barrios of Caracas
$99.99
Cellular Regulation by Protein Phosphorylation
$84.99
The Challenges of Vulnerability
$109.99
Israel and Its Mediterranean Identity
$54.99
Dual Containment Policy in the Persian Gulf
$54.99
Economic and Financial Crime
$139.99
