LEADER 03048nam  22006375  450 
001 9910484055603321
005 20200702071702.0
010   $a3-319-11863-3
024 7 $a10.1007/978-3-319-11863-5
035   $a(CKB)3710000000227407
035   $a(SSID)ssj0001338826
035   $a(PQKBManifestationID)11867844
035   $a(PQKBTitleCode)TC0001338826
035   $a(PQKBWorkID)11339061
035   $a(PQKB)10111755
035   $a(DE-He213)978-3-319-11863-5
035   $a(MiAaPQ)EBC5579863
035   $a(PPN)180626639
035   $a(EXLCZ)993710000000227407
100   $a20140828d2014      u|         0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aProgramming Languages $e18th Brazilian Symposium, SBLP 2014, Maceio, Brazil, October 2-3, 2014. Proceedings /$fedited by Fernando Magno Quintao Pereira
205   $a1st ed. 2014.
210  1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2014.
215   $a1 online resource (X, 161 p. 52 illus.) 
225 1 $aProgramming and Software Engineering ;$v8771
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a3-319-11862-5 
327   $aProgram generation and transformation -- Programming paradigms and styles -- Formal semantics and theoretical foundations -- Program analysis and verification -- Programming language design and implementation.
330   $aThis 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.
410  0$aProgramming and Software Engineering ;$v8771
606   $aProgramming languages (Electronic computers)
606   $aSoftware engineering
606   $aComputer programming
606   $aProgramming Languages, Compilers, Interpreters$3https://scigraph.springernature.com/ontologies/product-market-codes/I14037
606   $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029
606   $aProgramming Techniques$3https://scigraph.springernature.com/ontologies/product-market-codes/I14010
615  0$aProgramming languages (Electronic computers).
615  0$aSoftware engineering.
615  0$aComputer programming.
615 14$aProgramming Languages, Compilers, Interpreters.
615 24$aSoftware Engineering.
615 24$aProgramming Techniques.
676   $a005.13
702   $aQuintao Pereira$b Fernando Magno$4edt$4http://id.loc.gov/vocabulary/relators/edt
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910484055603321
996   $aProgramming languages$9877120
997   $aUNINA