Advertisement

Functional and Constraint Logic Programming

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

  • Julio Mariño
Conference proceedings WFLP 2010

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

Table of contents

  1. Front Matter
  2. Invited Paper

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

    1. Bernd Braßel, Sebastian Fischer, Michael Hanus, Fabian Reck
      Pages 30-47
    2. Michele Baggi, Demis Ballis, Moreno Falaschi
      Pages 66-83
    3. Pieter Wuille, Tom Schrijvers
      Pages 101-118
    4. Jan Christiansen, Daniel Seidel, Janis Voigtländer
      Pages 119-136
    5. Alexei Lescaylle, Alicia Villanueva
      Pages 155-173
  4. Back Matter

About these proceedings

Introduction

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.

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

  • Julio Mariño
    • 1
  1. 1.School of Computer ScienceUniversidad Politécnica de MadridBoadilla de MonteSpain

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-642-20775-4
  • Copyright Information Springer Berlin Heidelberg 2011
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-20774-7
  • Online ISBN 978-3-642-20775-4
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site