𝔖 Scriptorium
✦   LIBER   ✦
📁

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

✍ Scribed by Mariangiola Dezani-Ciancaglini, Silvia Ghilezan, Svetlana Jakšić, Jovanka Pantović (auth.), Julio Mariño (eds.)

Publisher
Springer-Verlag Berlin Heidelberg
Year
2011
Tongue
English
Leaves
182
Series
Lecture Notes in Computer Science 6559 Theoretical Computer Science and General Issues
Edition
1
Category
Library
⬇  Acquire This Volume

No coin nor oath required. For personal study only.

✦ Synopsis

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.

✦ Table of Contents

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 -

✦ Subjects

Logics and Meanings of Programs; Mathematical Logic and Formal Languages; Programming Languages, Compilers, Interpreters; Artificial Intelligence (incl. Robotics); Symbolic and Algebraic Manipulation

📜 SIMILAR VOLUMES

Functional and Constraint Logic Programm
📁 Functional and Constraint Logic Programming: 19th International Workshop, WFLP 2010, Madrid, Spain, January 17, 2010. Revised Selected Papers
✍ Mariangiola Dezani-Ciancaglini, Silvia Ghilezan, Svetlana Jakšić, Jovanka Pantov 📂 Library 📅 2011 🏛 Springer-Verlag Berlin Heidelberg 🌐 English

<p><p>This book contains a selection of the papers presented at the 19<sup>th</sup> 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.</p><p>From th

Functional and Constraint Logic Programm
📁 Functional and Constraint Logic Programming: 26th International Workshop, WFLP 2018, Frankfurt/Main, Germany, September 6, 2018, Revised Selected Papers
✍ Josep Silva 📂 Library 📅 2019 🏛 Springer International Publishing 🌐 English

<p>This book constitutes the refereed post-conference proceedings of the 26th International Workshop on Functional and Constraint Logic Programming, WFLP 2018, held in Frankfurt/Main, Germany, in September 2018. <p></p><p>From the 19 full papers submitted,12 were accepted for presentation at the wor

Functional and Constraint Logic Programm
📁 Functional and Constraint Logic Programming: 18th International Workshop, WFLP 2009, Brasilia, Brazil, June 28, 2009, Revised Selected Papers
✍ Roberto Ierusalimschy (auth.), Santiago Escobar (eds.) 📂 Library 📅 2010 🏛 Springer-Verlag Berlin Heidelberg 🌐 English

This book constitutes the thoroughly refereed post-conference proceedings of the 18th International Workshop on Functional and Constraint Logic Programming, WFLP 2009, held in Brasilia, Brazil, in June 2009 as part of RDP 2009, the Federated Conference on Rewriting, Deduction, and Programming. The 9

Functional and Constraint Logic Programm
📁 Functional and Constraint Logic Programming, 18th International Workshop, WFLP 2009, Brasilia, Brazil, June 28, 2009, Revised Selected Papers
✍ Santiago Escobar 📂 Library 🌐 English

This book constitutes the thoroughly refereed post-conference proceedings of the 18th International Workshop on Functional and Constraint Logic Programming, WFLP 2009, held in Brasilia, Brazil, in June 2009 as part of RDP 2009, the Federated Conference on Rewriting, Deduction, and Programming. The

Functional and Constraint Logic Programm
📁 Functional and Constraint Logic Programming: 18th International Workshop, WFLP 2009, Brasilia, Brazil, June 28, 2009, Revised Selected Papers
✍ Roberto Ierusalimschy (auth.), Santiago Escobar (eds.) 📂 Library 📅 2010 🏛 Springer-Verlag Berlin Heidelberg 🌐 English

This book constitutes the thoroughly refereed post-conference proceedings of the 18th International Workshop on Functional and Constraint Logic Programming, WFLP 2009, held in Brasilia, Brazil, in June 2009 as part of RDP 2009, the Federated Conference on Rewriting, Deduction, and Programming. The 9

Functional and Constraint Logic Programm
📁 Functional and Constraint Logic Programming: 20th International Workshop, WFLP 2011 Odense, Denmark, July 19, 2011 Proceedings
✍ Herbert Kuchen 📂 Library 📅 2011 🏛 Springer 🌐 English

This book constitutes the refereed conference proceedings of the 20th International Workshop on Functional and Constraint Logic Programming, WFLP 2011, held in Odense, Denmark, in July 2011 as Part of the 13th International Symposium on Principles and Practice of Declarative Programming (PPDP 2011),