Programming Languages 16th Brazilian Symposium, SBLP 2012, Natal, Brazil, September 23-28, 2012. Proceedings - Carvalho Junior, Francisco Heron de; Barbosa, Luis Soares (Springer Berlin Heidelberg : Imprint: Springer, 2012)