Willkommen, schön sind Sie da!
Logo Ex Libris

Foundational and Practical Aspects of Resource Analysis

  • Kartonierter Einband
  • 172 Seiten
(0) Erste Bewertung abgeben
Bewertungen
(0)
(0)
(0)
(0)
(0)
Alle Bewertungen ansehen
This book constitutes the proceedings of the Third International Workshop on Foundational and Practical Aspects of Resource Analys... Weiterlesen
20%
56.50 CHF 45.20
Sie sparen CHF 11.30
Print on Demand - Auslieferung erfolgt in der Regel innert 4 bis 6 Wochen.
Bestellung & Lieferung in eine Filiale möglich

Beschreibung

This book constitutes the proceedings of the Third International Workshop on Foundational and Practical Aspects of Resource Analysis, FOPARA 2013, held in Bertinoro, Italy, in August 2013. The 9 papers presented in this volume were carefully reviewed and selected from 12 submissions. They deal with traditional approaches to complexity analysis, differential privacy, and probabilistic analysis of programs.

Includes supplementary material: sn.pub/extras



Inhalt
Certified Complexity (CerCo).- On the Modular Integration of Abstract Semantics for WCET Analysis.- Can a Light Typing Discipline Be Compatible with an Efficient Implementation of Finite Fields Inversion?.- Probabilistic Analysis of Programs: A Weak Limit Approach.- Predicative Lexicographic Path Orders: An Application of Term Rewriting to the Region of Primitive Recursive Functions.- A Hoare Logic for Energy Consumption Analysis.- Reasoning About Resources in the Embedded Systems Language Hume.- On Paths-Based Criteria for Polynomial Time Complexity in Proof-Nets.- Collected Size Semantics for Strict Functional Programs over General Polymorphic Lists.

Produktinformationen

Titel: Foundational and Practical Aspects of Resource Analysis
Untertitel: Third International Workshop, FOPARA 2013, Bertinoro, Italy, August 29-31, 2013, Revised Selected Papers
Editor:
EAN: 9783319124650
ISBN: 331912465X
Format: Kartonierter Einband
Herausgeber: Springer International Publishing
Anzahl Seiten: 172
Gewicht: 271g
Größe: H235mm x B155mm x T9mm
Jahr: 2014
Untertitel: Englisch
Auflage: 2014

Weitere Produkte aus der Reihe "Programming and Software Engineering"