LEADER 05664nam 22007575 450 001 996465425203316 005 20200630145059.0 010 $a1-280-30786-2 010 $a9786610307869 010 $a3-540-24836-6 024 7 $a10.1007/b98355 035 $a(CKB)1000000000212441 035 $a(DE-He213)978-3-540-24836-1 035 $a(SSID)ssj0000225579 035 $a(PQKBManifestationID)11187089 035 $a(PQKBTitleCode)TC0000225579 035 $a(PQKBWorkID)10230167 035 $a(PQKB)10440070 035 $a(MiAaPQ)EBC3088908 035 $a(PPN)155229125 035 $a(EXLCZ)991000000000212441 100 $a20121227d2004 u| 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aPractical Aspects of Declarative Languages$b[electronic resource] $e6th International Symposium, PADL 2004, Dallas, TX, USA, June 18-19, 2004, Proceedings /$fedited by Bharat Jayaraman 205 $a1st ed. 2004. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2004. 215 $a1 online resource (VIII, 260 p.) 225 1 $aLecture Notes in Computer Science,$x0302-9743 ;$v3057 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-22253-7 320 $aIncludes bibliographical references and index. 327 $aAn Algebraic Theory of Polymorphic Temporal Media -- Supporting Decisions in Complex, Uncertain Domains with Declarative Languages -- A Typeful Approach to Object-Oriented Programming with Multiple Inheritance -- Compositional Model-Views with Generic Graphical User Interfaces -- An Implementation of Session Types -- UUXML: A Type-Preserving XML Schema?Haskell Data Binding -- Improved Compilation of Prolog to C Using Moded Types and Determinism Information -- A Generic Persistence Model for (C)LP Systems (and Two Useful Implementations) -- Pruning in the Extended Andorra Model -- USA-Smart: Improving the Quality of Plans in Answer Set Planning -- : A System for Reasoning about Answer Set Programs in Prolog -- Simplifying Dynamic Programming via Tabling -- Symbolic Execution of Behavioral Requirements -- Observing Functional Logic Computations -- Parametric Fortran ? A Program Generator for Customized Generic Fortran Extensions -- Typing XHTML Web Applications in ML -- Implementing Cut Elimination: A Case Study of Simulating Dependent Types in Haskell. 330 $aThe International Symposium on Practical Aspects of Declarative Languages (PADL) is a forum for researchers and practitioners to present original work emphasizing novel applications and implementation techniques for all forms of declarative concepts, especially those emerging from functional, logic, and c- straint languages. Declarative languages have been studied since the inception of computer science, and continue to be a vibrant subject of investigation today due to their applicability in current application domains such as bioinformatics, network con?guration, the Semantic Web, telecommunications software, etc. The 6th PADL Symposium was held in Dallas, Texas on June 18?19, 2004, and was co-located with the Compulog-Americas Summer School on Compu- tional Logic. From the submitted papers, the program committee selected 15 for presentation at the symposium based upon three written reviews for each paper, which were provided by the members of the program committee and additional referees. Two invited talks were presented at the conference. The ?rst was given by Paul Hudak (Yale University) on ?An Algebraic Theory of Polymorphic T- poral Media. ? The second invited talk was given by Andrew Fall (Dowlland Technologies and Simon Fraser University) on ?Supporting Decisions in C- plex, Uncertain Domains with Declarative Languages. ? Following the precedent set by the previous PADL symposium, the program committee this year again selected one paper to receive the ?Most Practical - per?award. 410 0$aLecture Notes in Computer Science,$x0302-9743 ;$v3057 606 $aSoftware engineering 606 $aProgramming languages (Electronic computers) 606 $aComputer programming 606 $aComputer logic 606 $aSoftware Engineering/Programming and Operating Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I14002 606 $aProgramming Languages, Compilers, Interpreters$3https://scigraph.springernature.com/ontologies/product-market-codes/I14037 606 $aProgramming Techniques$3https://scigraph.springernature.com/ontologies/product-market-codes/I14010 606 $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X 606 $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029 615 0$aSoftware engineering. 615 0$aProgramming languages (Electronic computers). 615 0$aComputer programming. 615 0$aComputer logic. 615 14$aSoftware Engineering/Programming and Operating Systems. 615 24$aProgramming Languages, Compilers, Interpreters. 615 24$aProgramming Techniques. 615 24$aLogics and Meanings of Programs. 615 24$aSoftware Engineering. 676 $a005.2 702 $aJayaraman$b Bharat$4edt$4http://id.loc.gov/vocabulary/relators/edt 712 12$aPADL 2004 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a996465425203316 996 $aPractical Aspects of Declarative Languages$9772495 997 $aUNISA