Practical Aspects of Declarative Languages

7th International Symposium, PADL 2005, Long Beach, CA, USA, January 10-11, 2005, Proceedings

296 Seiten, Taschenbuch

Kurzbeschreibung des Verlags

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.

• Reihe: Lecture Notes in Computer Science
• Themen: Informatik und Informationstechnologie Informatik Theoretische Informatik
• ISBN: 9783540243625
• Sprache: Englisch
• Erscheinungsdatum: 14.01.2005
• Größe: 235 x 155 mm
• Verlag: Springer
• Herausgegeben von: Manuel Hermenegildo, Daniel Cabeza