Practical Aspects of Declarative Languages [electronic resource] :8th International Symposium, PADL 2006, Charleston, SC, USA, January 9-10, 2006. Proceedings / edited by Pascal Hentenryck.
by Hentenryck, Pascal [editor.]; SpringerLink (Online service).
Material type:
BookSeries: Lecture Notes in Computer Science: 3819Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.Description: X, 231 p. Also available online. online resource.ISBN: 9783540316855.Subject(s): Computer science | Software engineering | Logic design | Computer Science | Programming Languages, Compilers, Interpreters | Programming Techniques | Logics and Meanings of Programs | Software EngineeringDDC classification: 005.13 Online resources: Click here to access online | Item type | Current location | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|
| QA76.76.C65 (Browse shelf) | Available | ||||
| Long Loan | MAIN LIBRARY | QA76.7-76.73 (Browse shelf) | Available |
Close shelf browser
| QA76.76.C65 Implementing Distributed Systems with Java and CORBA | QA76.76.C65 Practical Aspects of Declarative Languages | QA76.76.C65 Languages and Compilers for Parallel Computing | QA76.76.C65 Practical Aspects of Declarative Languages | QA76.76.C65 Languages and Compilers for High Performance Computing | QA76.76.C65 Multiparadigm Programming in Mozart/Oz | QA76.76.C65 Static Analysis |
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.
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.
There are no comments for this item.