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 Climate Technology, Gender, and Justice by
Cover of the book Progress in the Chemistry of Organic Natural Products 107 by
Cover of the book Artificial Intelligence and Security by
Cover of the book Succession Law, Practice and Society in Europe across the Centuries by
Cover of the book Innovations in Culture and Development by
Cover of the book Solid Oxide Fuel Cell Components by
Cover of the book Building Development Studies for the New Millennium by
Cover of the book Document Image Processing for Scanning and Printing by
Cover of the book Cloud Computing – CLOUD 2018 by
Cover of the book Authoritarianism, Cultural History, and Political Resistance in Latin America by
Cover of the book Reducing Lightning Injuries Worldwide by
Cover of the book 3D Research Challenges in Cultural Heritage II by
Cover of the book Introduction to Time Series and Forecasting by
Cover of the book Dynamic Balancing of Mechanisms and Synthesizing of Parallel Robots by
Cover of the book Silicon Nanowire Transistors 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