SBLP 2008: XII Brazilian Symposium on Programming