LEADER 05440nam 22007215 450 001 9910483288003321 005 20251226200004.0 010 $a3-540-30557-2 024 7 $a10.1007/b105205 035 $a(CKB)1000000000212691 035 $a(SSID)ssj0000225580 035 $a(PQKBManifestationID)11234601 035 $a(PQKBTitleCode)TC0000225580 035 $a(PQKBWorkID)10233107 035 $a(PQKB)10106972 035 $a(DE-He213)978-3-540-30557-6 035 $a(MiAaPQ)EBC3068392 035 $a(PPN)123091268 035 $a(BIP)11548006 035 $a(EXLCZ)991000000000212691 100 $a20100702d2005 u| 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aPractical Aspects of Declarative Languages $e7th International Symposium, PADL 2005, Long Beach, CA, USA, January 10-11, 2005, Proceedings /$fedited by Manuel Hermenegildo, Daniel Cabeza 205 $a1st ed. 2005. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2005. 215 $a1 online resource (VIII, 272 p.) 225 1 $aProgramming and Software Engineering,$x2945-9168 ;$v3350 300 $aBibliographic Level Mode of Issuance: Monograph 311 08$a3-540-24362-3 320 $aIncludes bibliographical references and index. 327 $aInvited Talks -- Building the World from First Principles: Declarative Machine Descriptions and Compiler Construction -- Code Compression -- Papers -- Functional Framework for Sound Synthesis -- Specializing Narrowing for Timetable Generation: A Case Study -- Character-Based Cladistics and Answer Set Programming -- Role-Based Declarative Synchronization for Reconfigurable Systems -- Towards a More Practical Hybrid Probabilistic Logic Programming Framework -- Safe Programming with Pointers Through Stateful Views -- Towards Provably Correct Code Generation via Horn Logical Continuation Semantics -- A Provably Correct Compiler for Efficient Model Checking of Mobile Processes -- An Ordered Logic Program Solver -- Improving Memory Usage in the BEAM -- Solving Constraints on Sets of Spatial Objects -- Discovery of Minimal Unsatisfiable Subsets of Constraints Using Hitting Set Dualization -- Solving Collaborative Fuzzy Agents Problems with CLP( ) -- Improved Fusion for Optimizing Generics -- The Program Inverter LRinv and Its Structure -- A Full Pattern-Based Paradigm for XML Query Processing -- Type Class Directives. 330 $aThe International Symposium on Practical Aspects of Declarative Languages (PADL) is a forum for researchers and practioners to present original work emphasizing novel applications and implementation techniques for all forms of declarativeconcepts,includingfunctional,logic,constraints,etc.Declarativel- guages build on sound theoretical foundations to provide attractive frameworks for application development. These languages have been successfully applied to a wide array of di'erent real-world situations, including database management, active networks, software engineering, decision support systems, or music c- position; whereas new developments in theory and implementation have opened up new application areas. Inversely, applications often drive the progress in the theory and implementation of declarative systems, as well as bene't from this progress. The 7th PADL Symposium was held in Long Beach, California on January 10-11, 2005, and was co-located with ACM's Principles of Programming L- guages(POPL).From36 submitted papers,the ProgramCommittee selected 17 papers for presentation at the symposium, based upon at least three reviews for eachpaper,providedfromProgramCommitteemembersandadditionalreferees. Two invited talks were presented at the conference: one by Norman R- sey (Harvard University) entitled "Building the World from First Principles: Declarative Machine Descriptions and Compiler Construction"; and a second by Saumya Debray (University of Arizona) entitled "Code Compression." Following what has become a tradition in PADL symposia, the Program Committee selected one paper to receive the "Most Practical Paper" award. This year the paper judged the best in terms of practicality, originality, and claritywas"AProvablyCorrectCompilerforE'cientModelCheckingofMobile Processes,"byPingYang,YifeiDong,C.R.Ramakrishnan,andScottA.Smolka. 410 0$aProgramming and Software Engineering,$x2945-9168 ;$v3350 606 $aCompilers (Computer programs) 606 $aComputer programming 606 $aComputer science 606 $aSoftware engineering 606 $aCompilers and Interpreters 606 $aProgramming Techniques 606 $aComputer Science Logic and Foundations of Programming 606 $aSoftware Engineering 615 0$aCompilers (Computer programs). 615 0$aComputer programming. 615 0$aComputer science. 615 0$aSoftware engineering. 615 14$aCompilers and Interpreters. 615 24$aProgramming Techniques. 615 24$aComputer Science Logic and Foundations of Programming. 615 24$aSoftware Engineering. 676 $a005.13 701 $aHermenegildo$b Manuel$0971279 701 $aCabeza$b Daniel$01762174 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910483288003321 996 $aPractical aspects of declarative languages$94201954 997 $aUNINA