LEADER 04566nam 22008415 450 001 9910768461703321 005 20251226195758.0 010 $a3-540-77442-4 024 7 $a10.1007/978-3-540-77442-6 035 $a(CKB)1000000000490874 035 $a(SSID)ssj0000319492 035 $a(PQKBManifestationID)11265248 035 $a(PQKBTitleCode)TC0000319492 035 $a(PQKBWorkID)10337595 035 $a(PQKB)10290975 035 $a(DE-He213)978-3-540-77442-6 035 $a(MiAaPQ)EBC4976205 035 $a(MiAaPQ)EBC5592017 035 $a(MiAaPQ)EBC6711429 035 $a(Au-PeEL)EBL4976205 035 $a(CaONFJC)MIL134287 035 $a(OCoLC)1024283885 035 $a(Au-PeEL)EBL5592017 035 $a(OCoLC)1066180849 035 $a(Au-PeEL)EBL6711429 035 $a(PPN)123740169 035 $a(MiAaPQ)EBC337009 035 $a(BIP)34165182 035 $a(BIP)17712470 035 $a(EXLCZ)991000000000490874 100 $a20100301d2008 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aPractical Aspects of Declarative Languages $e10th International Symposium, PADL 2008, San Francisco, CA, USA, January 7-8, 2008, Proceedings /$fedited by Paul Hudak, David S. Warren 205 $a1st ed. 2008. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2008. 215 $a1 online resource (X, 342 p.) 225 1 $aProgramming and Software Engineering,$x2945-9168 ;$v4902 300 $aBibliographic Level Mode of Issuance: Monograph 311 08$a3-540-77441-6 320 $aIncludes bibliographical references and index. 327 $aIndustrial Functional Programming -- Certified Development Tools Implementation in Objective Caml -- Automatic Coding Rule Conformance Checking Using Logic Programming -- Comprehension and Dependency Analysis of Aspect-Oriented Programs through Declarative Reasoning -- Efficient Reasoning for Nogoods in Constraint Solvers with BDDs -- Flexible, Rule-Based Constraint Model Linearisation -- The Role of Abduction in Declarative Authorization Policies -- Unification of Arrays in Spreadsheets with Logic Programming -- Specialising Simulator Generators for High-Performance Monte-Carlo Methods -- A Generic Programming Toolkit for PADS/ML: First-Class Upgrades for Third-Party Developers -- Matchete: Paths through the Pattern Matching Jungle -- Parser Combinators for Ambiguous Left-Recursive Grammars -- DCGs + Memoing = Packrat Parsing but Is It Worth It? -- An Improved Continuation Call-Based Implementation of Tabling -- Scheduling Light-Weight Parallelism in ArTCoP -- Towards a High-Level Implementation of Execution Primitives for Unrestricted, Independent And-Parallelism -- Hierarchical Master-Worker Skeletons -- High-Level Multi-threading Programming in Logtalk -- Switched-On Yampa -- Model-Based Testing of Thin-Client Web Applications and Navigation Input -- High-Level Database Programming in Curry. 330 $aThis book, complete with online files and updates, covers a hugely important area of study in computing. It constitutes the refereed proceedings of the 10th International Symposium on Practical Aspects of Declarative Languages, PADL 2008, held in San Francisco, CA, USA, in January 2008. The 20 revised full papers along with the abstract of 1 invited talk were carefully reviewed and selected from 44 submissions. The papers address all current aspects of declarative programming. 410 0$aProgramming and Software Engineering,$x2945-9168 ;$v4902 606 $aCompilers (Computer programs) 606 $aComputer programming 606 $aComputer science 606 $aSoftware engineering 606 $aCompilers and Interpreters 606 $aProgramming Techniques 606 $aComputer Science Logic and Foundations of Programming 606 $aSoftware Engineering 615 0$aCompilers (Computer programs). 615 0$aComputer programming. 615 0$aComputer science. 615 0$aSoftware engineering. 615 14$aCompilers and Interpreters. 615 24$aProgramming Techniques. 615 24$aComputer Science Logic and Foundations of Programming. 615 24$aSoftware Engineering. 676 $a005.13 702 $aHudak$b Paul 702 $aWarren$b David S. 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910768461703321 996 $aPractical Aspects of Declarative Languages$9772495 997 $aUNINA