Practical Aspects of Declarative Languages说明性语言的实用方面/会议录

书籍目录

Using CHRs to Generate Fhnctional Test Cases for the Java Card Virtual MachineGeneric Cut Actions for External Prolog  PredicatesControlling Search Space Materialization in a Practical Declarative DebuggerAutomatic Verification of a Model Checker by ReflectionProbabilistic-Logical Modeling of MusicUsing Dominators for Solving Constrained Path ProblemsJQuery: A Generic Code Browser with a Declarative Configuration LanguageA Hybrid BDD and SAT Finite Domain Constraint SolverAdding Constraint Solving to MercuryModeling Genome Evolution with a DSEL for Probabilistic ProgrammingTabling in Mercury: Design and ImplementationTranslating Description Logic Queries to PrologEfficient Top-Down Set-Sharing Analysis Using CliquesQuerying Complex GraphsIncremental Evaluation of Tabled Prolog: Beyond Pure Logic ProgramsAuthor Index

作者简介

This book constitutes the refereed proceedings of the 8th International Symposium on Practical Aspects of Declarative Languages, PADL 2006, held in Charleston, SC, USA, in January 2005. The 15 revised full papers presented were carefully reviewed and selected from 36 submissions. All current aspects of declarative programming are addressed including implementational issues and innovative applications in areas such as database management, software engineering, music classification and composition, decision support systems, constraint programming, model checking, probabilistic programming, Java and Prolog programming.

 Practical Aspects of Declarative Languages说明性语言的实用方面/会议录下载