Skip to main content
  • Conference proceedings
  • © 2011

Functional and Constraint Logic Programming

19th International Workshop, WFLP 2010, Madrid, Spain, January 17, 2010. Revised Selected Papers

Editors:

  • Up-to-date results

  • Cutting-edge research

  • Fast-track conference proceedings

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 6559)

Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)

Conference series link(s): WFLP: International Workshop on Functional and Constraint Logic Programming

Conference proceedings info: WFLP 2010.

Buying options

eBook USD 39.99
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (Canada)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

This is a preview of subscription content, access via your institution.

Table of contents (9 papers)

  1. Front Matter

  2. Invited Paper

    1. Types for Role-Based Access Control of Dynamic Web Data

      • Mariangiola Dezani-Ciancaglini, Silvia Ghilezan, Svetlana Jakšić, Jovanka Pantović
      Pages 1-29
  3. Contributed Papers

    1. Transforming Functional Logic Programs into Monadic Functional Programs

      • Bernd Braßel, Sebastian Fischer, Michael Hanus, Fabian Reck
      Pages 30-47
    2. An Access Control Language Based on Term Rewriting and Description Logic

      • Michele Baggi, Demis Ballis, Moreno Falaschi
      Pages 66-83
    3. Parameterized Models for On-Line and Off-Line Use

      • Pieter Wuille, Tom Schrijvers
      Pages 101-118
    4. An Adequate, Denotational, Functional-Style Semantics for Typed FlatCurry

      • Jan Christiansen, Daniel Seidel, Janis Voigtländer
      Pages 119-136
    5. Bridging the Gap between Two Concurrent Constraint Languages

      • Alexei Lescaylle, Alicia Villanueva
      Pages 155-173
  4. Back Matter

Other Volumes

  1. Functional and Constraint Logic Programming

About this book

This book contains a selection of revised 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.

Keywords

  • Abstract Interpretation
  • Abstract Machines
  • Access Control
  • Compilation
  • Concurrent Computing
  • Constraint Languages
  • Declarative Programming
  • Denotational Logic
  • Formal Semantics
  • Monadic Programming
  • Nonmonotonic Reasoning
  • Program Assertions
  • Program Semantics
  • Program Transformation
  • Term Rewriting
  • Type Systems
  • Types

Editors and Affiliations

  • School of Computer Science, Universidad Politécnica de Madrid, Boadilla de Monte, Spain

    Julio Mariño

Bibliographic Information

Buying options

eBook USD 39.99
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (Canada)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions