Custom cover image
Custom cover image

Static Analysis : 25th International Symposium, SAS 2018, Freiburg, Germany, August 29–31, 2018, Proceedings / edited by Andreas Podelski

Contributor(s): Resource type: Ressourcentyp: Buch (Online)Book (Online)Language: English Series: Programming and Software Engineering ; 11002 | SpringerLink BücherPublisher: Cham : Springer International Publishing, 2018Description: Online-Ressource (X, 445 p. 102 illus, online resource)ISBN:
  • 9783319997254
Subject(s): Additional physical formats: 9783319997247 | 9783319997261 | Erscheint auch als: 978-3-319-99724-7 Druck-Ausgabe | Printed edition: 9783319997247 | Printed edition: 9783319997261 DDC classification:
  • 005.1015113
  • 004.0151 23
MSC: MSC: *68-06 | 68Nxx | 00B25LOC classification:
  • QA76.9.L63 QA76.5913 QA76.63
  • QA76.9.L63
  • QA76.5913
  • QA76.63
DOI: DOI: 10.1007/978-3-319-99725-4Online resources: Summary: This book constitutes the refereed proceedings of the 25th International Static Analysis Symposium, SAS 2018, held in Freiburg, Germany, in August 2018. The 18 papers presented in this volume were carefully reviewed and selected from 37 submissions. The contributions cover a variety of multi-disciplinary topics in abstract domains: program verication, bug detection, compiler optimization, program understanding, and software maintenanceSummary: Static Analysis -- Program Verification.-Bug Detection -- Compiler Organization -- Program Understanding -- Software MaintenancePPN: PPN: 1030110476Package identifier: Produktsigel: ZDB-2-LNC | ZDB-2-SCS | ZDB-2-SXCS | ZDB-2-SEB
No physical items for this record

Reproduktion. (Springer eBook Collection. Computer Science)

KIT – The Research University in the Helmholtz Association                         Home | Impressum | Datenschutz | Barrierefreiheit | KIT