Practical Aspects of Declarative Languages 說明性語言的實用問題/會議錄

內容概要

This book constitutes the refereed proceedings of the 7th International Symposium on Practical Aspects of Declarative Languages, PADL 2005, held in Long Beach, CA, USA in January 2005.    The 17 revised full papers presented together with the abstracts of 2 invited talks were carefully reviewed and selected from 36 submissions. All current aspects of declarative programming are addressed including implementational issues and applications in areas such as database management, active networks, software engineering, decision support systems, and music composition.

書籍目錄

Invited TalksBuilding the World from First Principles:Declarative Machine Descriptions and Compiler ConstructionCode CompressionPapersFunctional Framework for Sound SynthesisSpecializing Narrowing for Timetable Generation: A Case Study Character-Based Cladistics and Answer Set ProgrammingRole-Based Declarative Synchronization for Reconfigurable SystemsTowards a More Practical Hybrid Probabilistic LogicProgramming FrameworkSafe Programming with Pointers Through Stateful ViewsTowards Provably Correct Code Generationvia Horn Logical Continuation SemanticsA Provably Correct Compiler for Efficient Model Checkingof Mobile ProcessesAn Ordered Logic Program SolverImproving Memory Usage in the BEAMSolving Constraints on Sets of Spatial ObjectsDiscovery of Minimal Unsatisfiable Subsets of ConstraintsUsing Hitting Set DualizationSolving Collaborative Fuzzy Agents Problems with CLP(~:D)Improved Fusion for Optimizing GenericsThe Program Inverter LRinv and Its StructureA Full Pattern-Based Paradigm for XML Query ProcessingType Class DirectivesAuthor Index

圖書封面

評論、評分、閱讀與下載

---

    Practical Aspects of Declarative Languages 說明性語言的實用問題/會議錄 PDF格式下載

---