Programming Languages  18th Brazilian Symposium, SBLP 2014, Maceio, Brazil, October 2-3, 2014. Proceedings /  [electronic resource] : 
edited by Fernando Magno Quintão Pereira. 
 - Cham :  Springer International Publishing,  2014. 
 - 1 online resource (X, 161 p. 52 ill.) 
 - Lecture Notes in Computer Science,  8771  0302-9743 ; .
<br/><br/>Program generation and transformation -- Programming paradigms and styles -- Formal semantics and theoretical foundations -- Program analysis and verification -- Programming language design and implementation. 
<br/><br/><label>ISBN: </label>9783319118635 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer science.<br/>Computer programming.<br/>Software engineering.<br/>Programming languages (Electronic computers).