Static Analysis

24th International Symposium, SAS 2017, New York, NY, USA, August 30 – September 1, 2017, Proceedings

Nonfiction, Computers, Programming, Software Development, General Computing
Cover of the book Static Analysis by , Springer International Publishing
View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart
Author: ISBN: 9783319667065
Publisher: Springer International Publishing Publication: August 16, 2017
Imprint: Springer Language: English
Author:
ISBN: 9783319667065
Publisher: Springer International Publishing
Publication: August 16, 2017
Imprint: Springer
Language: English

This book constitutes the refereed proceedings of the 24th International Static Analysis Symposium, SAS 2017, held in New York, NY, USA, in August/September 2017.

The 22 papers presented in this volume were carefully reviewed and selected from 50 submissions. The papers cover various aspects of the presentation of theoretical, practical, and applicational advances in area of static analysis that is recognized as a fundamental tool for program verification, bug detection, compiler organization, program understanding, and software maintenance. 

View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart

This book constitutes the refereed proceedings of the 24th International Static Analysis Symposium, SAS 2017, held in New York, NY, USA, in August/September 2017.

The 22 papers presented in this volume were carefully reviewed and selected from 50 submissions. The papers cover various aspects of the presentation of theoretical, practical, and applicational advances in area of static analysis that is recognized as a fundamental tool for program verification, bug detection, compiler organization, program understanding, and software maintenance. 

More books from Springer International Publishing

Cover of the book Validity and Validation in Social, Behavioral, and Health Sciences by
Cover of the book Narrating the Global Financial Crisis by
Cover of the book Modification of K0s and Lambda(AntiLambda) Transverse Momentum Spectra in Pb-Pb Collisions at √sNN = 2.76 TeV with ALICE by
Cover of the book Information and Software Technologies by
Cover of the book Governance in Russian Regions by
Cover of the book Computability and Complexity by
Cover of the book Raman Spectroscopy of Conformational Rearrangements at Low Temperatures by
Cover of the book HCI International 2016 – Posters' Extended Abstracts by
Cover of the book Intelligent Computing Theories and Application by
Cover of the book A Thermochemical Heat Storage System for Households by
Cover of the book Word Games, Riddles and Logic Tests by
Cover of the book Positive Psychology in the Clinical Domains by
Cover of the book Measurements of the X c and X b Quarkonium States in pp Collisions with the ATLAS Experiment by
Cover of the book Indirect Reports and Pragmatics in the World Languages by
Cover of the book Hybrid and Hierarchical Composite Materials by
We use our own "cookies" and third party cookies to improve services and to see statistical information. By using this website, you agree to our Privacy Policy