Programming Languages and Systems: Proc./25th European Symposium on Programming, ESOP 2016 Held as Part of ETAPS 2016, Eindhoven, The Netherlands, April 2016

Programming Languages and Systems: Proc./25th European Symposium on Programming, ESOP 2016 Held as Part of ETAPS 2016, Eindhoven, The Netherlands, April 2016Ed. by Thiemann P..-Berlin.: Springer, 2016.-Vol. 9632.-806 p.-(Lecture Notes in Computer Science).