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

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

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor Corporativo: SpringerLink (Online service)
Otros Autores: van Hentenryck, Pascal (Editor )
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006.
Edición:1st ed. 2006.
Colección:Programming and Software Engineering, 3819
Temas:
Compilers (Computer programs).
Computer programming.
Computer science.
Software engineering.
Compilers and Interpreters.
Programming Techniques.
Computer Science Logic and Foundations of Programming.
Software Engineering.
Acceso en línea:Texto Completo
Tabla de Contenidos:
  • 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.

Ejemplares similares