Author: France) European Symposium on Programming (23rd 2014 Grenoble