Title Static analysis : 24th International Symposium, SAS 2017, New York, NY, USA, August 30-September 1, 2017, Proceedings / Francesco Ranzato (ed.)

Published Cham : Springer, 2017

Click on the following:
Springer eBooks

Copies

Description 1 online resource (XIV, 473 pages) : illustrations Series Lecture notes in computer science, 0302-9743 ; 10422 Advanced research in computing and software science LNCS sublibrary. SL 2, Programming and software engineering Lecture notes in computer science ; 10422. 0302-9743 Lecture notes in computer science. Advanced research in computing and software science. LNCS sublibrary. SL 2, Programming and software engineering. Contents Theoretical, practical, and applicational advances in area of static analysis -- Program verification.- Bug detection -- Compiler organization -- Program understanding -- Software maintenance Summary 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 Notes International conference proceedings Bibliography Includes bibliographical references and author index Notes Online resource; title from PDF title page (SpringerLink, viewed August 24, 2017) Subject Computer programming -- Congresses Software engineering -- Congresses Software Engineering. Programming & scripting languages: general. Mathematical theory of computation. Computer programming -- software development. Computers -- Software Development & Engineering -- General. Computers -- Programming Languages -- General. Mathematics -- Logic. Computers -- Programming -- General. Computer programming Software engineering Genre/Form proceedings (reports) Conference papers and proceedings Conference papers and proceedings. Actes de congrès. Form Electronic book Author Ranzato, Francesco, editor ISBN 9783319667065 3319667068

Other Titles SAS 2017

  Permalink