European Symposium on Programming (13th 2004 Barcelona, Spain)