Practical Aspects of Declarative Languages

TRAMA

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.

SOMMARIO

Invited 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.

ALTRE INFORMAZIONI

• Condizione: Nuovo
• ISBN: 9783540243625
• Collana: Lecture Notes in Computer Science
• Dimensioni: 235 x 155 mm
• Formato: Brossura
• Illustration Notes: VIII, 272 p.
• Pagine Arabe: 272
• Pagine Romane: viii