Static Analysis

21st International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014. Proceedings

  • Markus Müller-Olm
  • Helmut Seidl
Conference proceedings SAS 2014

DOI: 10.1007/978-3-319-10936-7

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

Table of contents

  1. Front Matter
  2. Parosh Aziz Abdulla, Frédéric Haziza, Lukáš Holík
    Pages 1-17
  3. Elvira Albert, Jesús Correas, Guillermo Román-Díez
    Pages 18-33
  4. Alexey Bakhirkin, Josh Berdine, Nir Piterman
    Pages 34-50
  5. Frédéric Besson, Thomas Jensen, Pierre Vittet
    Pages 51-67
  6. James Brotherston, Nikos Gorogiannis
    Pages 68-84
  7. Aleksandar Chakarov, Sriram Sankaranarayanan
    Pages 85-100
  8. Liqian Chen, Jiangchao Liu, Antoine Miné, Deepak Kapur, Ji Wang
    Pages 101-117
  9. Yu-Fang Chen, Chiao Hsieh, Ming-Hsien Tsai, Bow-Yaw Wang, Farn Wang
    Pages 118-133
  10. Arlen Cox, Bor-Yuh Evan Chang, Xavier Rival
    Pages 134-150
  11. Khalil Ghorbal, Andrew Sogokon, André Platzer
    Pages 151-167
  12. Guillaume Iooss, Christophe Alias, Sanjay Rajopadhye
    Pages 168-183
  13. Woosuk Lee, Hakjoo Oh, Kwangkeun Yi
    Pages 184-200
  14. Magnus Madsen, Anders Møller
    Pages 201-218
  15. Louis Mandel, Cédric Pasteur
    Pages 219-236
  16. Yuri Meshman, Andrei Dan, Martin Vechev, Eran Yahav
    Pages 237-252
  17. David Monniaux, Peter Schrammel
    Pages 253-267
  18. Roopsha Samanta, Oswaldo Olivo, E. Allen Emerson
    Pages 268-284
  19. Antoine Toubhans, Bor-Yuh Evan Chang, Xavier Rival
    Pages 285-301
  20. Caterina Urban, Antoine Miné
    Pages 302-318

About these proceedings

Introduction

This book constitutes the thoroughly refereed proceedings of the 21st International Symposium on Static Analysis, SAS 2014, held in Munich, Germany, in September 2014. The 20 revised full papers were selected from 53 submissions and are presented together with 3 invited talks. The papers address all aspects of static analysis, including abstract interpretation, abstract testing, bug detection, data flow analysis, model checking, program transformation, program verification, security analysis, and type checking.

Keywords

formal methods model checking program analysis program reasoning software engineering software functional properties software testing and debugging software validation software verification theory of computation

Editors and affiliations

  • Markus Müller-Olm
    • 1
  • Helmut Seidl
    • 2
  1. 1.Institut für InformatikWestfälische Wilhelms-Universität MünsterMünsterGermany
  2. 2.Institut für InformatikTechnische Universität MünchenGarchingGermany

Bibliographic information

  • Copyright Information Springer International Publishing Switzerland 2014
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-319-10935-0
  • Online ISBN 978-3-319-10936-7
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349