LEADER 04505nam  22006975  450 
001 996465425403316
005 20200703070453.0
010   $a3-642-40922-9
024 7 $a10.1007/978-3-642-40922-6
035   $a(CKB)3710000000019167
035   $a(SSID)ssj0001010891
035   $a(PQKBManifestationID)11563495
035   $a(PQKBTitleCode)TC0001010891
035   $a(PQKBWorkID)11000724
035   $a(PQKB)11688124
035   $a(DE-He213)978-3-642-40922-6
035   $a(MiAaPQ)EBC3093089
035   $a(PPN)172430232
035   $a(EXLCZ)993710000000019167
100   $a20130924d2013      u|             0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aProgramming Languages$b[electronic resource] $e17th Brazilian Symposium, SBLP 2013, Brasília, Brazil, September 29- October 4, 2013, Proceedings /$fedited by Andre Rauber Du Bois, Phil Trinder
205   $a1st ed. 2013.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2013.
215   $a1 online resource (XVI, 151 p. 31 illus.) 
225 1 $aProgramming and Software Engineering ;$v8129
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a3-642-40921-0 
327   $aException Handling for Error Reporting in Parsing Expression Grammars  -- LuaRocks - A Declarative and Extensible Package Management System for Lua -- On the Performance of Multidimensional Array Representations in Programming Languages Based on Virtual Execution Machines -- Modular Bialgebraic Semantics and Algebraic Laws -- A Double Effect ?-calculus for Quantum Computation -- Boilerplates for Reconfigurable Systems: A Language and Its Semantics -- Contextual Abstraction in a Type System for Component-Based High Performance Computing Platforms -- Towards a Domain-Specific Language for Patterns-Oriented Parallel Programming -- Multiple Intermediate Structure Deforestation by Shortcut Fusion -- Zipper-Based Attribute Grammars and Their Extensions.
330   $aThis book constitutes the proceedings of the 17th Brazililan Symposium on Programming Languages, SBLP 2013, held in Brasília, Brazil, in September/October 2013. The 10 full and 2 keynote talks were carefully reviewed and selected from 31 submissions. The papers are organized in topical sections on program generation and transformation, including domain-specific languages and model-driven development in the context of programming languages, programming paradigms and styles, including functional, object-oriented, aspect-oriented, scripting languages, real-time, service-oriented, multithreaded, parallel, and distributed programming, formal semantics and theoretical foundations, including denotational, operational, algebraic and categorical, program analysis and verification, including type systems, static analysis and abstract interpretation, and programming language design and implementation, including new programming models, programming language environments, compilation and interpretation techniques.
410  0$aProgramming and Software Engineering ;$v8129
606   $aProgramming languages (Electronic computers)
606   $aSoftware engineering
606   $aComputer programming
606   $aComputer science
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
606   $aComputer Science, general$3https://scigraph.springernature.com/ontologies/product-market-codes/I00001
615  0$aProgramming languages (Electronic computers).
615  0$aSoftware engineering.
615  0$aComputer programming.
615  0$aComputer science.
615 14$aProgramming Languages, Compilers, Interpreters.
615 24$aSoftware Engineering.
615 24$aProgramming Techniques.
615 24$aComputer Science, general.
676   $a005.13
702   $aRauber Du Bois$b Andre$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aTrinder$b Phil$4edt$4http://id.loc.gov/vocabulary/relators/edt
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a996465425403316
996   $aProgramming languages$9877120
997   $aUNISA