Static Analysis 23rd International Symposium, SAS 2016, Edinburgh, UK, September 8-10, 2016, Proceedings - Rival, Xavier (Springer Berlin Heidelberg : Imprint: Springer, 2016)