Types with Potential: Polynomial Resource Bounds via Automatic Amortized Analysis - Jan Hoffmann
Softcover 36,00 €
In den Warenkorb

Types with Potential: Polynomial Resource Bounds via Automatic Amortized Analysis

Beschreibung

A primary feature of a computer program is its quantitative performance characteristics: the amount of resources such as time, memory, and power the program needs to perform its task. Concrete ... weiterlesen

Buchdetails

Sprache: Englisch

ISBN: 9783844215168

Format: DIN A4 hoch

Seiten: 196

Altersempfehlung: Erwachsene (0 - 99)

Erscheinungsdatum:

Schlagworte: amortized analysis, functional programming, quantitative analysis, resource consumption, static analysis

Buch melden