Skip to main content
SpringerLink
Log in

Functional and Constraint Logic Programming

18th International Workshop, WFLP 2009, Brasilia, Brazil, June 28, 2009, Revised Selected Papers

  • Conference proceedings
  • © 2010

Overview

Editors:
  1. Santiago Escobar

    1. Departamento de Sistemas Informáticos y Computación, Universidad Politécnica de Valencia, Valencia, Spain

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • State of the art papers
  • Selected papers of conference proceedings

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

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

Included in the following conference series:

Conference proceedings info: WFLP 2009.

This is a preview of subscription content, log in via an institution to check access.

Access this book

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

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (11 papers)

  1. Front Matter

    Download chapter PDF

  2. Invited Papers

    1. Programming with Multiple Paradigms in Lua

      • Roberto Ierusalimschy
      Pages 1-12

    2. Constraint Based Strategies

      • Claude Kirchner, Florent Kirchner, Hélène Kirchner
      Pages 13-26

  3. Contributed Papers

    1. Integrating ILOG CP Technology into \(\mathcal{TOY}\)

      • Ignacio Castiñeiras, Fernando Sáenz-Pérez
      Pages 27-43

    2. Termination of Context-Sensitive Rewriting with Built-In Numbers and Collection Data Structures

      • Stephan Falke, Deepak Kapur
      Pages 44-61

    3. Semantic Labelling for Proving Termination of Combinatory Reduction Systems

      • Makoto Hamana
      Pages 62-78

    4. A Taxonomy of Some Right-to-Left String-Matching Algorithms

      • Manuel Hernández
      Pages 79-95

    5. Type Checking and Inference Are Equivalent in Lambda Calculi with Existential Types

      • Yuki Kato, Koji Nakazawa
      Pages 96-110

    6. Fast and Accurate Strong Termination Analysis with an Application to Partial Evaluation

      • Michael Leuschel, Salvador Tamarit, Germán Vidal
      Pages 111-127

    7. New Results on Type Systems for Functional Logic Programming

      • Francisco J. López-Fraguas, Enrique Martin-Martin, Juan Rodríguez-Hortalá
      Pages 128-144

    8. A Simple Region Inference Algorithm for a First-Order Functional Language

      • Manuel Montenegro, Ricardo Peña, Clara Segura
      Pages 145-161

    9. A Theoretical Framework for the Declarative Debugging of Functional Logic Programs with Lambda Abstractions

      • Rafael del Vado Vírseda, Ignacio Castiñeiras
      Pages 162-178

  4. Back Matter

    Download chapter PDF
Back to top

Other volumes

  1. Functional and Constraint Logic Programming

Keywords

Editors and Affiliations

  • Departamento de Sistemas Informáticos y Computación, Universidad Politécnica de Valencia, Valencia, Spain

    Santiago Escobar

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation