LEADER 00000nam a22005175i 4500 
001    978-3-319-11863-5 
003    DE-He213 
005    20151116135746.0 
007    cr nn 008mamaa 
008    140828s2014    gw      s    |||| 0|eng d 
020    9783319118635|9978-3-319-11863-5 
024 7  10.1007/978-3-319-11863-5|2doi 
040    |dES-ZaU 
072  7 UMX|2bicssc 
072  7 UMC|2bicssc 
072  7 COM051010|2bisacsh 
072  7 COM010000|2bisacsh 
082 04 005.13|223 
245 00 Programming Languages|h[electronic resource] :|b18th 
       Brazilian Symposium, SBLP 2014, Maceio, Brazil, October 2-
       3, 2014. Proceedings /|cedited by Fernando Magno Quintão 
       Pereira. 
264  1 Cham :|bSpringer International Publishing :|bImprint: 
       Springer,|c2014. 
300    X, 161 p. 52 illus.|bonline resource. 
336    text|btxt|2rdacontent 
337    computer|bc|2rdamedia 
338    online resource|bcr|2rdacarrier 
347    text file|bPDF|2rda 
490 1  Lecture Notes in Computer Science,|x0302-9743 ;|v8771 
490 0  Springer eBooks.|aComputer Science 
505 0  Program generation and transformation -- Programming 
       paradigms and styles -- Formal semantics and theoretical 
       foundations -- Program analysis and verification -- 
       Programming language design and implementation. 
520    This book constitutes the proceedings of the 18th 
       Brazilian Symposium on Programming Languages, SBLP 2014, 
       held in Maceio, Brazil, in October 2014. The 11 full 
       papers were carefully reviewed and selected from 31 
       submissions. The papers cover topics such as program 
       generation and transformation; programming paradigms and 
       styles; formal semantics and theoretical foundations; 
       program analysis and verification; programming language 
       design and implementation. 
650  0 Computer science. 
650  0 Computer programming. 
650  0 Software engineering. 
650  0 Programming languages (Electronic computers). 
650 14 Computer Science. 
650 24 Programming Languages, Compilers, Interpreters. 
650 24 Software Engineering. 
650 24 Programming Techniques. 
700 1  Quintão Pereira, Fernando Magno.,|eeditor. 
710 2  SpringerLink (Online service) 
773 0  |tSpringer eBooks 
776 08 |iPrinted edition:|z9783319118628 
830  0 Lecture Notes in Computer Science,|x0302-9743 ;|v8771 
856 40 |uhttps://cuarzo.unizar.es:9443/login?url=https://
       dx.doi.org/10.1007/978-3-319-11863-5|zAcceso al texto 
       completo