LEADER 05540nam 22007575 450 001 9910143918703321 005 20200702135120.0 010 $a3-540-45587-6 024 7 $a10.1007/3-540-45587-6 035 $a(CKB)1000000000211660 035 $a(SSID)ssj0000325786 035 $a(PQKBManifestationID)11258859 035 $a(PQKBTitleCode)TC0000325786 035 $a(PQKBWorkID)10264919 035 $a(PQKB)11283443 035 $a(DE-He213)978-3-540-45587-5 035 $a(MiAaPQ)EBC3071564 035 $a(PPN)155201697 035 $a(EXLCZ)991000000000211660 100 $a20121227d2002 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aPractical Aspects of Declarative Languages $e4th International Symposium, PADL 2002, Portland, OR, USA, January 19-20, 2002. Proceedings /$fedited by Shriram Krishnamurthi, C.R. Ramakrishnan 205 $a1st ed. 2002. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2002. 215 $a1 online resource (VIII, 356 p.) 225 1 $aLecture Notes in Computer Science,$x0302-9743 ;$v2257 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-43092-X 320 $aIncludes bibliographical references and index. 327 $aInvited Talks -- Using a Declarative Language to Build an Experimental Analysis Tool -- How to Talk to Your Computer so that It Will Listen -- Single-Threaded Objects in ACL2 -- Regular Papers -- Modeling Engineering Structures with Constrained Objects -- Compiler Construction in Higher Order Logic Programming -- Declarative Programming and Clinical Medicine On the Use of Gisela in the MedView Project -- Semantics-Based Filtering: Logic Programming?s Killer App -- Linear Scan Register Allocation in a High-Performance Erlang Compiler -- Compiling Embedded Programs to Byte Code -- Typed Combinators for Generic Traversal -- Event-Driven FRP -- Adding Apples and Oranges -- WASH/CGI: Server-Side Web Scripting with Sessions and Typed, Compositional Forms -- A Better XML Parser through Functional Programming -- Functional Approach to Texture Generation -- Abstract Interpretation over Non-deterministic Finite Tree Automata for Set-Based Analysis of Logic Programs -- A High-Level Generic Interface to External Programming Languages for ECLiPSe -- A Debugging Scheme for Declarative Equation Based Modeling Languages -- Segment Order Preserving and Generational Garbage Collection for Prolog -- Exploiting E.cient Control and Data Structures in Logic Programs -- Suspending and Resuming Computations in Engines for SLG Evaluation. 330 $aDeclarative languages build on sound theoretical bases to provide attractive frameworks for application development. These languages have been succe- fully applied to a wide variety of real-world situations including database m- agement, active networks, software engineering, and decision-support systems. New developments in theory and implementation expose fresh opportunities. At the same time, the application of declarative languages to novel problems raises numerous interesting research issues. These well-known questions include scalability, language extensions for application deployment, and programming environments. Thus, applications drive the progress in the theory and imp- mentation of declarative systems, and in turn bene?t from this progress. The International Symposium on Practical Applications of Declarative L- guages (PADL) provides a forum for researchers, practitioners, and implementors of declarative languages to exchange ideas on current and novel application - eas and on the requirements for e?ective use of declarative systems. The fourth PADL symposium was held in Portland, Oregon, on January 19 and 20, 2002. 410 0$aLecture Notes in Computer Science,$x0302-9743 ;$v2257 606 $aProgramming languages (Electronic computers) 606 $aComputer science 606 $aComputer programming 606 $aComputer logic 606 $aSoftware engineering 606 $aProgramming Languages, Compilers, Interpreters$3https://scigraph.springernature.com/ontologies/product-market-codes/I14037 606 $aComputer Science, general$3https://scigraph.springernature.com/ontologies/product-market-codes/I00001 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$aProgramming languages (Electronic computers). 615 0$aComputer science. 615 0$aComputer programming. 615 0$aComputer logic. 615 0$aSoftware engineering. 615 14$aProgramming Languages, Compilers, Interpreters. 615 24$aComputer Science, general. 615 24$aProgramming Techniques. 615 24$aLogics and Meanings of Programs. 615 24$aSoftware Engineering. 676 $a005.13/1 702 $aKrishnamurthi$b Shriram$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aRamakrishnan$b C.R$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910143918703321 996 $aPractical Aspects of Declarative Languages$9772495 997 $aUNINA