TY  - BOOK
AU  - Quintão Pereira,Fernando Magno
TI  - Programming Languages: 18th Brazilian Symposium, SBLP 2014, Maceio, Brazil, October 2-3, 2014. Proceedings 
SN  - 9783319118635
PY  - 2014///
CY  - Cham
PB  - Springer International Publishing
KW  - Computer science
KW  - Computer programming
KW  - Software engineering
KW  - Programming languages (Electronic computers)
N1  - Program generation and transformation -- Programming paradigms and styles -- Formal semantics and theoretical foundations -- Program analysis and verification -- Programming language design and implementation
UR  - http://dx.doi.org/10.1007/978-3-319-11863-5
ER  -