ESOP 2002: European Symposium on Programming