03946nam 22007095 450 99646528940331620230506071814.03-540-36388-210.1007/3-540-36388-2(CKB)1000000000211899(SSID)ssj0000325785(PQKBManifestationID)11252902(PQKBTitleCode)TC0000325785(PQKBWorkID)10253690(PQKB)11088306(DE-He213)978-3-540-36388-0(MiAaPQ)EBC3072812(PPN)155169300(EXLCZ)99100000000021189920121227d2003 u| 0engurnn|008mamaatxtccrPractical Aspects of Declarative Languages[electronic resource] 5th International Symposium, PADL 2003, New Orleans, LA, USA, January 13-14, 2003, Proceedings /edited by Veronica Dahl, Philip Wadler1st ed. 2003.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2003.1 online resource (X, 414 p.) Lecture Notes in Computer Science,1611-3349 ;2562Bibliographic Level Mode of Issuance: Monograph3-540-00389-4 Includes bibliographical references at the end of each chapters and index.Invited 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.Lecture Notes in Computer Science,1611-3349 ;2562Compilers (Computer programs)Computer programmingSoftware engineeringComputer scienceCompilers and InterpretersProgramming TechniquesSoftware EngineeringComputer Science Logic and Foundations of ProgrammingCompilers (Computer programs).Computer programming.Software engineering.Computer science.Compilers and Interpreters.Programming Techniques.Software Engineering.Computer Science Logic and Foundations of Programming.005.131Dahl Veronicaedthttp://id.loc.gov/vocabulary/relators/edtWadler Philipedthttp://id.loc.gov/vocabulary/relators/edtPADL 2003MiAaPQMiAaPQMiAaPQBOOK996465289403316Practical Aspects of Declarative Languages772495UNISA