LEADER 04376nam 22007455 450 001 9910143886503321 005 20251116234259.0 010 $a3-540-36388-2 024 7 $a10.1007/3-540-36388-2 035 $a(CKB)1000000000211899 035 $a(SSID)ssj0000325785 035 $a(PQKBManifestationID)11252902 035 $a(PQKBTitleCode)TC0000325785 035 $a(PQKBWorkID)10253690 035 $a(PQKB)11088306 035 $a(DE-He213)978-3-540-36388-0 035 $a(MiAaPQ)EBC3072812 035 $a(PPN)155169300 035 $a(BIP)13523193 035 $a(BIP)8046981 035 $a(EXLCZ)991000000000211899 100 $a20121227d2003 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aPractical Aspects of Declarative Languages $e5th International Symposium, PADL 2003, New Orleans, LA, USA, January 13-14, 2003, Proceedings /$fedited by Veronica Dahl, Philip Wadler 205 $a1st ed. 2003. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2003. 215 $a1 online resource (X, 414 p.) 225 1 $aLecture Notes in Computer Science,$x1611-3349 ;$v2562 300 $aBibliographic Level Mode of Issuance: Monograph 311 08$a3-540-00389-4 320 $aIncludes bibliographical references at the end of each chapters and index. 327 $aInvited Papers -- The Role of Declarative Languages in Mining Biological Databases -- The Continue Server (or, How I Administered PADL 2002 and 2003) -- Zen and the Art of Symbolic Computing: Light and Fast Applicative Algorithms for Computational Linguistics -- Papers -- Data Mining the Yeast Genome in a Lazy Functional Language -- Non-monotonic Reasoning on Beowulf Platforms -- Datalog with Constraints: A Foundation for Trust Management Languages -- Web Programming with SMLserver -- An Integrated Information System Powered by Prolog -- JMatch: Iterable Abstract Pattern Matching for Java -- Sequence Quantification -- Roll: A Language for Specifying Die-Rolls -- Reconstructing the Evolutionary History of Indo-European Languages Using Answer Set Programming -- Multi-agent Reactive Systems -- ACTILOG: An Agent Activation Language -- Logic Programs for Querying Inconsistent Databases -- A CLP-Based Tool for Computer Aided Generation and Solving of Maths Exercises -- A Logical Framework for Modelling eMAS -- SXSLT: Manipulation Language for XML -- Type-Based XML Processing in Logic Programming -- WAM Local Analysis -- Garbage Collection Algorithms for Java-Based Prolog Engines -- Solving Combinatorial Problems with a Constraint Functional Logic Language -- Logic Programs as Compact Denotations -- A Strafunski Application Letter -- Functional Hybrid Modeling -- Lambda Goes to Hollywood. 330 $aThis book constitutes the refereed proceedings of the 5th International Symposium on Practical Aspects of Declarative Languages, PADL 2003, held in New Orleans, LA, USA, in January 2003.The 23 revised full papers presented together with 3 invited contributions were carefully reviewed and selected from 57 submissions. All current aspects of declarative programming are addressed. 410 0$aLecture Notes in Computer Science,$x1611-3349 ;$v2562 606 $aCompilers (Computer programs) 606 $aComputer programming 606 $aSoftware engineering 606 $aComputer science 606 $aCompilers and Interpreters 606 $aProgramming Techniques 606 $aSoftware Engineering 606 $aComputer Science Logic and Foundations of Programming 615 0$aCompilers (Computer programs) 615 0$aComputer programming. 615 0$aSoftware engineering. 615 0$aComputer science. 615 14$aCompilers and Interpreters. 615 24$aProgramming Techniques. 615 24$aSoftware Engineering. 615 24$aComputer Science Logic and Foundations of Programming. 676 $a005.131 702 $aDahl$b Veronica$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aWadler$b Philip$4edt$4http://id.loc.gov/vocabulary/relators/edt 712 12$aPADL 2003 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910143886503321 996 $aPractical Aspects of Declarative Languages$9772495 997 $aUNINA