Programming Languages : 16th Brazilian Symposium, SBLP 2012, Natal, Brazil, September 23-28, 2012, Proceedings - Francisco Heron Carvalho Junior, Luis Soares Barbosa ((Lecture Notes in Computer Science))