Advertisement

Foundational and Practical Aspects of Resource Analysis

Third International Workshop, FOPARA 2013, Bertinoro, Italy, August 29-31, 2013, Revised Selected Papers

  • Ugo Dal Lago
  • Ricardo Peña
Conference proceedings FOPARA 2013

Part of the Lecture Notes in Computer Science book series (LNCS, volume 8552)

Also part of the Programming and Software Engineering book sub series (LNPSE, volume 8552)

Table of contents

  1. Front Matter
    Pages I-IX
  2. Roberto M. Amadio, Nicolas Ayache, Francois Bobot, Jaap P. Boender, Brian Campbell, Ilias Garnier et al.
    Pages 1-18
  3. Mihail Asăvoae, Irina Măriuca Asăvoae
    Pages 19-37
  4. Daniele Canavese, Emanuele Cesena, Rachid Ouchary, Marco Pedicini, Luca Roversi
    Pages 38-57
  5. Alessandra Di Pierro, Herbert Wiklicky
    Pages 58-76
  6. Naohi Eguchi
    Pages 77-92
  7. Rody Kersten, Paolo Parisen Toldin, Bernard van Gastel, Marko van Eekelen
    Pages 93-109
  8. Hans-Wolfgang Loidl, Gudmund Grov
    Pages 110-126
  9. Olha Shkaravska, Marko van Eekelen, Alejandro Tamalet
    Pages 143-159
  10. Back Matter
    Pages 161-161

About these proceedings

Introduction

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.

Editors and affiliations

  • Ugo Dal Lago
    • 1
  • Ricardo Peña
    • 2
  1. 1.Università di BolognaBolognaItaly
  2. 2.Universidad Complutense de MadridMadridSpain

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-319-12466-7
  • Copyright Information Springer International Publishing Switzerland 2014
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-319-12465-0
  • Online ISBN 978-3-319-12466-7
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Pharma
Materials & Steel
Automotive
Electronics
IT & Software
Telecommunications
Engineering