Programming Languages 18th Brazilian Symposium, SBLP 2014, Maceio, Brazil, October 2-3, 2014. Proceedings - Quintão Pereira, Fernando Magno (Springer International Publishing : Imprint: Springer, 2014)