Selected and extended papers of the Brazilian Symposium on Programming Languages 2012 - Junior, Francisco Heron Carvalho (2014)