Practical Aspects of Declarative Languages 7th International Symposium, PADL 2005, Long Beach, CA, USA, January 10-11, 2005. Proceedings /

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Hermenegildo, Manuel V. (Επιμελητής έκδοσης), Cabeza, Daniel (Επιμελητής έκδοσης)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.
• Σειρά: Lecture Notes in Computer Science, 3350
• Θέματα: Computer science.; Computer programming.; Software engineering.; Programming languages (Electronic computers).; Computer logic.; Computer Science.; Programming Languages, Compilers, Interpreters.; Programming Techniques.; Logics and Meanings of Programs.; Software Engineering.

Πίνακας περιεχομένων:

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