000 03783nam a22005655i 4500
001 978-3-642-40922-6
003 DE-He213
005 20200421111841.0
007 cr nn 008mamaa
008 130924s2013 gw | s |||| 0|eng d
020 _a9783642409226
_9978-3-642-40922-6
024 7 _a10.1007/978-3-642-40922-6
_2doi
050 4 _aQA76.7-76.73
050 4 _aQA76.76.C65
072 7 _aUMX
_2bicssc
072 7 _aUMC
_2bicssc
072 7 _aCOM051010
_2bisacsh
072 7 _aCOM010000
_2bisacsh
082 0 4 _a005.13
_223
245 1 0 _aProgramming Languages
_h[electronic resource] :
_b17th Brazilian Symposium, SBLP 2013, Bras�ilia, Brazil, October 3 - 4, 2013. Proceedings /
_cedited by Andr�e Rauber Du Bois, Phil Trinder.
264 1 _aBerlin, Heidelberg :
_bSpringer Berlin Heidelberg :
_bImprint: Springer,
_c2013.
300 _aXVI, 151 p. 31 illus.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aLecture Notes in Computer Science,
_x0302-9743 ;
_v8129
505 0 _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 (Sn(B-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.
520 _aThis book constitutes the proceedings of the 17th Brazililan Symposium on Programming Languages, SBLP 2013, held in Bras�ilia, 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.
650 0 _aComputer science.
650 0 _aComputer programming.
650 0 _aSoftware engineering.
650 0 _aProgramming languages (Electronic computers).
650 1 4 _aComputer Science.
650 2 4 _aProgramming Languages, Compilers, Interpreters.
650 2 4 _aSoftware Engineering.
650 2 4 _aProgramming Techniques.
650 2 4 _aComputer Science, general.
700 1 _aBois, Andr�e Rauber Du.
_eeditor.
700 1 _aTrinder, Phil.
_eeditor.
710 2 _aSpringerLink (Online service)
773 0 _tSpringer eBooks
776 0 8 _iPrinted edition:
_z9783642409219
830 0 _aLecture Notes in Computer Science,
_x0302-9743 ;
_v8129
856 4 0 _uhttp://dx.doi.org/10.1007/978-3-642-40922-6
912 _aZDB-2-SCS
912 _aZDB-2-LNC
942 _cEBK
999 _c55546
_d55546