Siirry suoraan sisältöön
Automatische Komplexitätsanalyse funktionaler Programme
Tallenna

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.
Kirjailija
Wolf Zimmermann
ISBN
9783540534303
Kieli
saksa
Paino
310 grammaa
Julkaisupäivä
20.11.1990
Sivumäärä
196