LEADER 03407nam 2200637 450 001 996465844903316 005 20220816205224.0 010 $a1-280-85308-5 010 $a9786610853083 010 $a3-540-69611-3 024 7 $a10.1007/978-3-540-69611-7 035 $a(CKB)1000000000284135 035 $a(EBL)3036595 035 $a(SSID)ssj0000225581 035 $a(PQKBManifestationID)11192095 035 $a(PQKBTitleCode)TC0000225581 035 $a(PQKBWorkID)10233520 035 $a(PQKB)11285537 035 $a(DE-He213)978-3-540-69611-7 035 $a(MiAaPQ)EBC3036595 035 $a(MiAaPQ)EBC6806129 035 $a(Au-PeEL)EBL6806129 035 $a(OCoLC)1285783222 035 $a(PPN)123726638 035 $a(EXLCZ)991000000000284135 100 $a20220816d2007 uy 0 101 0 $aeng 135 $aur|n|---||||| 181 $ctxt 182 $cc 183 $acr 200 10$aPractical aspects of declarative languages $e9th international symposium, PADL 2007, Nice, France, January 14-15, 2007 : proceedings /$fMichael Hanus (editor) 205 $a1st ed. 2007. 210 1$aBerlin, Heidelberg :$cSpringer-Verlag,$d[2007] 210 4$dİ2007 215 $a1 online resource (343 p.) 225 1 $aLecture Notes in Computer Science ;$v4354 300 $aInternational conference proceedings. 311 $a3-540-69608-3 320 $aIncludes bibliographical references and index. 327 $aQuickCheck Testing for Fun and Profit -- A Constraint Programming Approach to Bioinformatics Structural Problems -- Rewriting Haskell Strings -- Instantly Turning a Naive Exhaustive Search into Three Efficient Searches with Pruning -- Algebraic Knowledge Discovery Using Haskell -- Applications, Implementation and Performance Evaluation of Bit Stream Programming in Erlang -- Automatic Incrementalization of Prolog Based Static Analyses -- Verification of Java Bytecode Using Analysis and Transformation of Logic Programs -- Combining Static Analysis and Profiling for Estimating Execution Times -- On Improving the Efficiency and Robustness of Table Storage Mechanisms for Tabled Evaluation -- Compiling Constraint Handling Rules for Efficient Tabled Evaluation -- Prolog Performance on Larger Datasets -- BAD, a Declarative Logic-Based Language for Brain Modeling -- From Zinc to Design Model -- Inductive Logic Programming by Instance Patterns -- ARMC: The Logical Choice for Software Model Checking with Abstraction Refinement -- The Joins Concurrency Library -- HPorter: Using Arrows to Compose Parallel Processes -- Coupled Schema Transformation and Data Conversion for XML and SQL -- Aspect-Oriented Programming in Higher-Order and Linear Logic -- Partial Evaluation of Pointcuts. 410 0$aLecture notes in computer science ;$v4354. 606 $aProgramming languages (Electronic computers)$xSemantics$vCongresses 606 $aProgramming languages (Electronic computers)$xSemantics 615 0$aProgramming languages (Electronic computers)$xSemantics 615 0$aProgramming languages (Electronic computers)$xSemantics. 676 $a005.131 700 $aHanus$b Michael$f1959-$01227460 712 12$aPADL 2007 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a996465844903316 996 $aPractical aspects of declarative languages$92906364 997 $aUNISA LEADER 01076nam a2200301 i 4500 001 991003344919707536 005 20240523135857.0 008 020220s2003 it 001 0 ita d 020 $a8842061212 035 $ab11793430-39ule_inst 035 $aPARLA225056$9ExL 040 $aDip.to Filosofia$bita 082 0 $a323.1 100 1 $aWalzer, Michael$0128376 245 10$aSulla tolleranza /$cMichael Walzer ; traduzione di Rodolfo Rini 260 $aRoma ; Bari :$bLaterza,$c2003 300 $axvi, 172 p. ;$c21 cm 490 0 $aEconomica Laterza ;$v207 650 4$aMinoranze$xTutela 650 4$aTolleranza 700 1 $aRini, Rodolfo 907 $a.b11793430$b27-04-17$c09-12-02 912 $a991003344919707536 945 $aLE005 320 WAL01. 02$g1$i2005000123740$lle005$o-$pE0.00$q-$rl$s-$t0$u5$v1$w5$x0$y.i12041130$z09-12-02 945 $aLE027 323.10 WAL01.01$g1$i2027000064496$lle027$o-$pE7.00$q-$rl$s-$t0$u4$v1$w4$x0$y.i13836857$z09-09-04 996 $aOn toleration$916027 997 $aUNISALENTO 998 $ale005$ale027$b01-01-02$cm$da$e-$fita$git$h0$i1