Foundations of Software Science and Computational Structures

15th International Conference, FOSSACS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 – April 1, 2012. Proceedings

  • Lars Birkedal
Part of the Lecture Notes in Computer Science book series (LNCS, volume 7213)

Table of contents

  1. Front Matter
  2. Andrea Calì, Georg Gottlob, Giorgio Orsi, Andreas Pieris
    Pages 1-25
  3. Glynn Winskel
    Pages 26-41
  4. Robert Atkey, Neil Ghani, Bart Jacobs, Patricia Johann
    Pages 42-57
  5. Jiří Adámek, Filippo Bonchi, Mathias Hülsbusch, Barbara König, Stefan Milius, Alexandra Silva
    Pages 58-73
  6. Danel Ahman, James Chapman, Tarmo Uustalu
    Pages 74-88
  7. Jiří Adámek, Stefan Milius, Lawrence S. Moss, Lurdes Sousa
    Pages 89-103
  8. Ana Bove, Peter Dybjer, Andrés Sicard-Ramírez
    Pages 104-118
  9. Dariusz Biernacki, Sergueï Lenglet
    Pages 119-134
  10. Stefan Breuers, Christof Löding, Jörg Olschewski
    Pages 150-164
  11. Helmut Seidl, Andreas Reuß
    Pages 165-179
  12. Radha Jagadeesan, Gustavo Petri, James Riely
    Pages 180-194
  13. Marco Bernardo, Rocco De Nicola, Michele Loreti
    Pages 195-209
  14. Kirstin Peters, Uwe Nestmann
    Pages 210-224
  15. Silvia Crafa, Daniele Varacca, Nobuko Yoshida
    Pages 225-239
  16. Daniel Gorín, Lutz Schröder
    Pages 240-254
  17. Alexander Kurz, Tomoyuki Suzuki, Emilio Tuosto
    Pages 255-269
  18. Thomas Brihaye, Véronique Bruyère, Julie De Pril, Hugo Gimbert
    Pages 286-300

About these proceedings

Introduction

This book constitutes the proceedings of the 15th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2012, held as part of the joint European Conference on Theory and Practice of Software, ETAPS 2012, which took place in Tallinn, Estonia, in March/April 2012.
The 29 papers presented in this book together with two invited talks in full paper length were carefully reviewed and selected from 100 full paper submissions. The papers deal with theories and methods to support analysis, synthesis, transformation and verification of programs and software systems.

Keywords

denotational semantics event structures first-order logic model checking temporal logic

Editors and affiliations

  • Lars Birkedal
    • 1
  1. 1.IT University of CopenhagenCopenhagenDenmark

Bibliographic information

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