Functional and Constraint Logic Programming: 19th International Workshop, WFLP 2010, Madrid, Spain, January 17, 2010. Revised Selected Papers

Description

This book contains a selection of the papers presented at the 19th International Workshop on Functional and Constraint Logic Programming, WFLP 2010, held in Madrid, Spain, in January 2010, as part of the ACM-SIGPLAN Principles of Programming Languages event, POPL 2010. From the 15 papers submitted, 12 were accepted for presentation at the workshop. The 8 regular papers presented in this volume were selected following a second round of reviewing, which took place after the event. They are complemented by a full-length invited talk by the workshop’s guest speaker, Mariangiola Dezani-Ciancaglini. All current issues in the areas of functional and constraint logic programming are covered including foundational aspects, language design, implementation, transformation and analysis, software engineering, integration of paradigms, and applications. Front Matter....Pages - Types for Role-Based Access Control of Dynamic Web Data....Pages 1-29 Transforming Functional Logic Programs into Monadic Functional Programs....Pages 30-47 Mixed-Level Embedding and JIT Compilation for an Iteratively Staged DSL....Pages 48-65 An Access Control Language Based on Term Rewriting and Description Logic....Pages 66-83 Lazy and Enforceable Assertions for Functional Logic Programs....Pages 84-100 Parameterized Models for On-Line and Off-Line Use....Pages 101-118 An Adequate, Denotational, Functional-Style Semantics for Typed FlatCurry....Pages 119-136 Efficient and Compositional Higher-Order Streams....Pages 137-154 Bridging the Gap between Two Concurrent Constraint Languages....Pages 155-173 Back Matter....Pages -