Static Analysis

23rd International Symposium, SAS 2016, Edinburgh, UK, September 8-10, 2016, Proceedings

  • Xavier Rival
Conference proceedings SAS 2016
Part of the Lecture Notes in Computer Science book series (LNCS, volume 9837)

Table of contents

  1. Front Matter
    Pages I-X
  2. Invited Papers

    1. Front Matter
      Pages 1-1
    2. Krishnendu Chatterjee, Thomas A. Henzinger, Jan Otop
      Pages 23-38
    3. Fausto Spoto
      Pages 39-57
  3. Full Papers

    1. Front Matter
      Pages 59-59
    2. Parosh Aziz Abdulla, Bengt Jonsson, Cong Quy Trinh
      Pages 61-83
    3. George Balatsouras, Yannis Smaragdakis
      Pages 84-104
    4. Maria Christakis, Valentin Wüstholz
      Pages 105-125
    5. Mila Dalla Preda, Roberto Giacobazzi, Isabella Mastroeni
      Pages 126-146
    6. Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti
      Pages 147-169
    7. Chaoqiang Deng, Kedar S. Namjoshi
      Pages 170-188
    8. Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Søndergaard, Peter J. Stuckey
      Pages 189-211
    9. Pritam M. Gharat, Uday P. Khedker, Alan Mycroft
      Pages 212-236
    10. Kensuke Kojima, Minoru Kinoshita, Kohei Suenaga
      Pages 278-299
    11. Fonenantsoa Maurica, Frédéric Mesnard, Étienne Payet
      Pages 300-316
    12. David Menendez, Santosh Nagarakatte, Aarti Gupta
      Pages 317-337
    13. Jan Midtgaard, Flemming Nielson, Hanne Riis Nielson
      Pages 338-360

About these proceedings

Introduction

This book constitutes the refereed proceedings of the 23rd International Static Analysis Symposium, SAS 2016, held in Edinburgh, UK, in September 2016.

The 21 papers presented in this volume were carefully reviewed and selected from 55 submissions. The contributions cover a variety of multi-disciplinary topics in abstract domains; abstract interpretation; abstract testing; bug detection; data flow analysis; model checking; new applications; program transformation; program verification; security analysis; theoretical frameworks; and type checking.

Keywords

abstract interpretation model checking program semantics program verification type systems abstract testing bug detection data flow analysis floating-point numbers linear ranking functions new applications program analysis program transformation security analysis static analysis symbolic automata symbolic transducers termination analysis theoretical frameworks type checking

Editors and affiliations

  • Xavier Rival
    • 1
  1. 1.Ecole Normale Supérieure ParisFrance

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-662-53413-7
  • Copyright Information Springer-Verlag GmbH Germany 2016
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-662-53412-0
  • Online ISBN 978-3-662-53413-7
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349