LEADER 03398nam 2200637 450 001 996465589903316 005 20220515114727.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(EXLCZ)991000000000490874 100 $a20220515d2008 uy 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 00$aPractical aspects of declarative languages $e10th international symposium, PADL 2008, San Francisco, CA, USA, January 7-8, 2008, proceedings /$fPaul Hudak, David S. Warren (editors) 205 $a1st ed. 2008. 210 1$aBerlin ;$aHeidelberg :$cSpringer,$d[2008] 210 4$dİ2008 215 $a1 online resource (X, 342 p.) 225 1 $aLecture notes in computer science ;$v4902 300 $aBibliographic Level Mode of Issuance: Monograph 311 $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. 410 0$aLecture notes in computer science ;$v4902. 606 $aProgramming languages (Electronic computers)$xSemantics$vCongresses 615 0$aProgramming languages (Electronic computers)$xSemantics 676 $a005.13 702 $aHudak$b Paul 702 $aWarren$b David S. 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a996465589903316 996 $aPractical Aspects of Declarative Languages$9772495 997 $aUNISA