LEADER 05636nam 22007695 450 001 996465323303316 005 20200704020559.0 010 $a1-280-38553-7 010 $a9786613563453 010 $a3-642-11503-9 024 7 $a10.1007/978-3-642-11503-5 035 $a(CKB)2670000000003396 035 $a(SSID)ssj0000355585 035 $a(PQKBManifestationID)11227497 035 $a(PQKBTitleCode)TC0000355585 035 $a(PQKBWorkID)10320387 035 $a(PQKB)11571210 035 $a(DE-He213)978-3-642-11503-5 035 $a(MiAaPQ)EBC3064947 035 $a(PPN)149054947 035 $a(EXLCZ)992670000000003396 100 $a20100301d2010 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aPractical Aspects of Declarative Languages$b[electronic resource] $e12th International Symposium, PADL 2010, Madrid, Spain, January 18-19, 2010, Proceedings /$fedited by Manuel Carro, Ricardo Peņa 205 $a1st ed. 2010. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2010. 215 $a1 online resource (XI, 297 p.) 225 1 $aProgramming and Software Engineering ;$v5937 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-642-11502-0 320 $aIncludes bibliographical references and index. 327 $aInvited Papers -- Answer Set Programming in 2010: A Personal Perspective -- An Introduction to Maude and Some of Its Applications -- Non-Monotonic Reasoning - Answer Set Programming -- Efficient Application of Answer Set Programming for Advanced Data Integration -- Implementing Query Answering for Hybrid MKNF Knowledge Bases -- An ASP-Based System for Team-Building in the Gioia-Tauro Seaport -- Types -- Explicitly Typed Exceptions for Haskell -- Conversion by Evaluation -- Parallelism and Distribution -- Skeleton Composition Using Remote Data -- Netlog, a Rule-Based Language for Distributed Programming -- Code Quality Assurance -- Similar Code Detection and Elimination for Erlang Programs -- Static Detection of Race Conditions in Erlang -- Automating Mathematical Program Transformations -- ActionScript In-Lined Reference Monitoring in Prolog -- Domain Specific Languages -- An Ode to Arrows -- Lazy Combinators for Executable Specifications of General Attribute Grammars -- A Domain-Specific Language Approach to Protocol Stack Implementation -- Programming Aids -- First-Order Interactive Programming -- An ER-Based Framework for Declarative Web Programming -- Constraints -- Lazy Explanations for Constraint Propagators -- On the Implementation of the CLP( ) Language -- Tabling - Agents -- Compact Lists for Tabled Evaluation -- A Simple and Efficient Implementation of Concurrent Local Tabling -- An Efficient Implementation of Linear Tabling Based on Dynamic Reordering of Alternatives -- Prospective Storytelling Agents. 330 $aThis book constitutes the refereed proceedings of the 12th International Symposium on Practical Aspects of Declarative Languages, PADL 2010, held in Madrid, Spain, in January 2010, colocated with POPL 2010, the Symposium on Principles of Programming Languages. The 22 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 58 submissions. The volume features original work emphasizing novel applications and implementation techniques for all forms of clarative concepts, including functions, relations, logic, and constraints. The papers address all current aspects of declarative programming; they are organized in topical sections on non-monotonic reasoning - answer set programming, types, parallelism and distribution, code quality assurance, domain specific languages, programming aids, constraints, and tabling - agents. 410 0$aProgramming and Software Engineering ;$v5937 606 $aProgramming languages (Electronic computers) 606 $aSoftware engineering 606 $aComputers 606 $aComputer programming 606 $aComputer logic 606 $aProgramming Languages, Compilers, Interpreters$3https://scigraph.springernature.com/ontologies/product-market-codes/I14037 606 $aSoftware Engineering/Programming and Operating Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I14002 606 $aTheory of Computation$3https://scigraph.springernature.com/ontologies/product-market-codes/I16005 606 $aProgramming Techniques$3https://scigraph.springernature.com/ontologies/product-market-codes/I14010 606 $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X 606 $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029 615 0$aProgramming languages (Electronic computers). 615 0$aSoftware engineering. 615 0$aComputers. 615 0$aComputer programming. 615 0$aComputer logic. 615 14$aProgramming Languages, Compilers, Interpreters. 615 24$aSoftware Engineering/Programming and Operating Systems. 615 24$aTheory of Computation. 615 24$aProgramming Techniques. 615 24$aLogics and Meanings of Programs. 615 24$aSoftware Engineering. 676 $a005.13 702 $aCarro$b Manuel$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aPeņa$b Ricardo$4edt$4http://id.loc.gov/vocabulary/relators/edt 906 $aBOOK 912 $a996465323303316 996 $aPractical Aspects of Declarative Languages$9772495 997 $aUNISA