Foundational and Practical Aspects of Resource Analysis

First International Workshop, FOPARA 2009, Eindhoven, The Netherlands, November 6, 2009, Revised Selected Papers

  • Marko van Eekelen
  • Olha Shkaravska
Conference proceedings FOPARA 2009

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

Table of contents

  1. Front Matter
  2. FOPARA 2009

    1. Elvira Albert, Puri Arenas, Samir Genaim, Israel Herraiz, German Puebla
      Pages 1-17
    2. Hans-Wolfgang Loidl, Steffen Jost
      Pages 18-33
    3. Manuel Montenegro, Ricardo Peña, Clara Segura
      Pages 34-50
    4. Marco Gaboardi, Romain Péchoux
      Pages 51-66
    5. Phil Trinder, Murray Cole, Hans-Wolfgang Loidl, Greg Michaelson
      Pages 67-83
    6. James Avery, Lars Kristiansen, Jean-Yves Moyen
      Pages 84-99
    7. Ugo Dal Lago, Simone Martini
      Pages 100-113
    8. Luca Roversi, Luca Vercelli
      Pages 114-130
    9. Virgile Mogbil
      Pages 131-145
  3. Back Matter

About these proceedings

Keywords

abstract interpretation complexity embedded systems formal method formal methods language polynomial programming language programming language resource analysis static complexity analysis

Editors and affiliations

  • Marko van Eekelen
    • 1
  • Olha Shkaravska
    • 2
  1. 1.Institute for Computing and Information SciencesRadboud Universiteit NijmegenNijmegenThe Netherlands
  2. 2.Institute for Computing and Information SciencesRadboud University NijmegenThe Netherlands

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-642-15331-0
  • Copyright Information Springer-Verlag Heidelberg 2010
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-15330-3
  • Online ISBN 978-3-642-15331-0
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book