Skip to main content
  • Conference proceedings
  • © 2010

Functional and Constraint Logic Programming

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

  • 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)

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

Conference proceedings info: WFLP 2009.

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 (11 papers)

  1. Front Matter

  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. Fast and Accurate Strong Termination Analysis with an Application to Partial Evaluation

      • Michael Leuschel, Salvador Tamarit, Germán Vidal
      Pages 111-127
    3. New Results on Type Systems for Functional Logic Programming

      • Francisco J. López-Fraguas, Enrique Martin-Martin, Juan Rodríguez-Hortalá
      Pages 128-144
    4. A Simple Region Inference Algorithm for a First-Order Functional Language

      • Manuel Montenegro, Ricardo Peña, Clara Segura
      Pages 145-161
  4. Back Matter

Other Volumes

  1. Functional and Constraint Logic Programming

Keywords

  • Debugging
  • Lua
  • algorithms
  • constraint
  • data structures
  • design
  • lambda calculus
  • language
  • logic
  • logic programming
  • programming
  • proving
  • software
  • software engineering

Editors and Affiliations

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

    Santiago Escobar

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