Static Analysis : 25th International Symposium, SAS 2018, Freiburg, Germany, August 29–31, 2018, Proceedings

Podelski, Andreas

2018

Online E-Book

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 maintenance.

Titel:	Static Analysis : 25th International Symposium, SAS 2018, Freiburg, Germany, August 29–31, 2018, Proceedings
Autor/in / Beteiligte Person:	Podelski, Andreas
Veröffentlichung:	2018
Medientyp:	E-Book
ISBN:	978-3-319-99724-7 (print) ; 978-3-319-99725-4 (electronic)
Schlagwort:	Computer science Software engineering Compilers (Computer programs) Computer programming Electronic digital computers—Evaluation Computers Professions Subjects: Computer science Software engineering Compilers (Computer programs) Computer programming Electronic digital computers—Evaluation Computers Professions COMPUTERS / Computer Science BUSINESS & ECONOMICS / Careers / General COMPUTERS / General COMPUTERS / Programming / Compilers COMPUTERS / Computer Architecture COMPUTERS / Programming / General COMPUTERS / Software Development & Engineering / General
Sonstiges:	Nachgewiesen in: eBook Index ddc: 40,151 Sprachen: English Resource Type: eBook.

Klicken Sie ein Format an und speichern Sie dann die Daten oder geben Sie eine Empfänger-Adresse ein und lassen Sie sich per Email zusenden.

BibTeX Citavi, JabRef, u.a.
(Literaturverwaltung)

PDF kein Volltext!
(Merkzettel, Notizen)

RIS Endnote, Citavi u.a.
(Literaturverwaltung)

MODS
(XML zur Weiterverarbeitung)

oder

Wählen Sie das für Sie passende Zitationsformat und kopieren Sie es dann in die Zwischenablage, lassen es sich per Mail zusenden oder speichern es als PDF-Datei.

Gewünschter Zitations-Stil:

oder

Bitte prüfen Sie, ob die Zitation formal korrekt ist, bevor Sie sie in einer Arbeit verwenden. Benutzen Sie gegebenenfalls den "Exportieren"-Dialog, wenn Sie ein Literaturverwaltungsprogramm verwenden und die Zitat-Angaben selbst formatieren wollen.