Programming languages : 16th Brazilian Symposium, SBLP 2012, Natal, Brazil, September 23-28, 2012 : proceedings - Francisco Heron de Carvalho Junior, editor ([, Springer-Verlag], 2012)