Tools and Methods of Program Analysis 4th International Conference, TMPA 2017, Moscow, Russia, March 3-4, 2017, Revised Selected Papers /

• Corporate Author: SpringerLink (Online service)
• Other Authors: Itsykson, Vladimir (Editor, http://id.loc.gov/vocabulary/relators/edt), Scedrov, Andre (Editor, http://id.loc.gov/vocabulary/relators/edt), Zakharov, Victor (Editor, http://id.loc.gov/vocabulary/relators/edt)
• Format: Electronic eBook
• Language: English
• Published: Cham : Springer International Publishing : Imprint: Springer, 2018.
• Edition: 1st ed. 2018.
• Series: Communications in Computer and Information Science, 779
• Subjects: Software engineering.; Computer system failures.; Computer simulation.; Operating systems (Computers).; Artificial intelligence.; Programming languages (Electronic computers).; Software Engineering.; System Performance and Evaluation.; Simulation and Modeling.; Operating Systems.; Artificial Intelligence.; Programming Languages, Compilers, Interpreters.

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