Communications in Computer and Information Science

Tools and Methods of Program Analysis

4th International Conference, TMPA 2017, Moscow, Russia, March 3-4, 2017, Revised Selected Papers

Editors: Itsykson, Vladimir, Scedrov, Andre, Zakharov, Viktor (Eds.)

Buy this book

eBook $64.99
price for USA (gross)
  • ISBN 978-3-319-71734-0
  • Digitally watermarked, DRM-free
  • Included format: EPUB, PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $84.00
price for USA
  • ISBN 978-3-319-71733-3
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
About this book

This book constitutes the refereed proceedings of the 4th International Conference on Tools and Methods for Program Analysis, TMPA 2017, Moscow, Russia, March 3-4, 2017.
The 12 revised full papers and 5 revised short papers presented together with three abstracts of keynote talks were carefully reviewed and selected from 51 submissions. The papers deal with topics such as software test automation, static program analysis, verification, dynamic methods of program analysis, testing and analysis of parallel and distributed systems, testing and analysis of high-load and high-availability systems, analysis and verification of hardware and software systems, methods of building quality software, tools for software analysis, testing and verification.

 

 

Table of contents (1 chapters)

  • Simple Type-Based Alias Analysis for a VLIW Processor

    Aleksey Markin, Alexandr Ermolitsky

    Pages

Buy this book

eBook $64.99
price for USA (gross)
  • ISBN 978-3-319-71734-0
  • Digitally watermarked, DRM-free
  • Included format: EPUB, PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $84.00
price for USA
  • ISBN 978-3-319-71733-3
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Tools and Methods of Program Analysis
Book Subtitle
4th International Conference, TMPA 2017, Moscow, Russia, March 3-4, 2017, Revised Selected Papers
Editors
  • Vladimir Itsykson
  • Andre Scedrov
  • Viktor Zakharov
Series Title
Communications in Computer and Information Science
Series Volume
779
Copyright
2018
Publisher
Springer International Publishing
Copyright Holder
Springer International Publishing AG
eBook ISBN
978-3-319-71734-0
DOI
10.1007/978-3-319-71734-0
Softcover ISBN
978-3-319-71733-3
Series ISSN
1865-0929
Edition Number
1
Number of Pages
XVIII, 209
Number of Illustrations and Tables
71 b/w illustrations
Topics