Foundational and Practical Aspects of Resource Analysis : Third International Workshop, FOPARA 2013, Bertinoro, Italy, August 29-31, 2013, Revised Selected Papers / / edited by Ugo Dal Lago, Ricardo Peña
(Visualizza in formato marc)
(Visualizza in BIBFRAME)
| Titolo: |
Foundational and Practical Aspects of Resource Analysis : Third International Workshop, FOPARA 2013, Bertinoro, Italy, August 29-31, 2013, Revised Selected Papers / / edited by Ugo Dal Lago, Ricardo Peña
|
| Pubblicazione: | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 |
| Edizione: | 1st ed. 2014. |
| Descrizione fisica: | 1 online resource (IX, 161 p. 34 illus.) |
| Disciplina: | 005.12 |
| Soggetto topico: | Electronic digital computers - Evaluation |
| Algorithms | |
| Computer science | |
| Software engineering | |
| Compilers (Computer programs) | |
| System Performance and Evaluation | |
| Computer Science Logic and Foundations of Programming | |
| Software Engineering | |
| Compilers and Interpreters | |
| Theory of Computation | |
| Persona (resp. second.): | Dal LagoUgo |
| PeñaRicardo | |
| Note generali: | Bibliographic Level Mode of Issuance: Monograph |
| Nota di bibliografia: | Includes bibliographical references and index. |
| Nota di contenuto: | 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. |
| Sommario/riassunto: | 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. |
| Titolo autorizzato: | Foundational and Practical Aspects of Resource Analysis |
| ISBN: | 3-319-12466-8 |
| Formato: | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione: | Inglese |
| Record Nr.: | 9910484835603321 |
| Lo trovi qui: | Univ. Federico II |
| Opac: | Controlla la disponibilità qui |
Serie:
Programming and Software Engineering, . 2945-9168 ; ; 8552