Gå direkt till innehållet
Automatische Komplexitätsanalyse funktionaler Programme
Spara

Automatische Komplexitätsanalyse funktionaler Programme

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.
Författare
Wolf Zimmermann
ISBN
9783540534303
Språk
Tyska
Vikt
310 gram
Utgivningsdatum
1990-11-20
Sidor
196