Practical Aspects of Declarative Languages 8th International Symposium, PADL 2006, Charleston, SC, USA, January 9-10, 2006. Proceedings /

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Hentenryck, Pascal Van (Επιμελητής έκδοσης)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.
• Σειρά: Lecture Notes in Computer Science, 3819
• Θέματα: 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.

This volume contains the papers presented at the Eighth International S- posium on Practical Aspects of Declarative Languages (PADL 2006) held on January 9-10, 2006, in Charleston, South Carolina. Information about the c- ference can be found athttp://www.cs.brown.edu/people/pvh/PADL06.html. As is n...

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

• Using CHRs to Generate Functional Test Cases for the Java Card Virtual Machine
• Generic Cut Actions for External Prolog Predicates
• Controlling Search Space Materialization in a Practical Declarative Debugger
• Automatic Verification of a Model Checker by Reflection
• Probabilistic-Logical Modeling of Music
• Using Dominators for Solving Constrained Path Problems
• JQuery: A Generic Code Browser with a Declarative Configuration Language
• A Hybrid BDD and SAT Finite Domain Constraint Solver
• Adding Constraint Solving to Mercury
• Modeling Genome Evolution with a DSEL for Probabilistic Programming
• Tabling in Mercury: Design and Implementation
• Translating Description Logic Queries to Prolog
• Efficient Top-Down Set-Sharing Analysis Using Cliques
• Querying Complex Graphs
• Incremental Evaluation of Tabled Prolog: Beyond Pure Logic Programs.