Practical Aspects of Declarative Languages

Industrial Functional Programming.- Certified Development Tools Implementation in Objective Caml.- Automatic Coding Rule Conformance Checking Using Logic Programming.- Comprehension and Dependency Analysis of Aspect-Oriented Programs through Declarative Reasoning.- Efficient Reasoning for Nogoods in Constraint Solvers with BDDs.- Flexible, Rule-Based Constraint Model Linearisation.- The Role of Abduction in Declarative Authorization Policies.- Unification of Arrays in Spreadsheets with Logic Programming.- Specialising Simulator Generators for High-Performance Monte-Carlo Methods.- A Generic Programming Toolkit for PADS/ML: First-Class Upgrades for Third-Party Developers.- Matchete: Paths through the Pattern Matching Jungle.- Parser Combinators for Ambiguous Left-Recursive Grammars.- DCGs + Memoing = Packrat Parsing but Is It Worth It?.- An Improved Continuation Call-Based Implementation of Tabling.- Scheduling Light-Weight Parallelism in ArTCoP.- Towards a High-Level Implementation of Execution Primitives for Unrestricted, Independent And-Parallelism.- Hierarchical Master-Worker Skeletons.- High-Level Multi-threading Programming in Logtalk.- Switched-On Yampa.- Model-Based Testing of Thin-Client Web Applications and Navigation Input.- High-Level Database Programming in Curry.