Advertisement

Functional and Constraint Logic Programming

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

  • Santiago Escobar
Conference proceedings WFLP 2009

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

Table of contents

  1. Front Matter
    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
    PDF

About these proceedings

Keywords

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

Editors and affiliations

  • Santiago Escobar
    • 1
  1. 1.Departamento de Sistemas Informáticos y ComputaciónUniversidad Politécnica de ValenciaValenciaSpain

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-642-11999-6
  • Copyright Information Springer-Verlag Berlin Heidelberg 2010
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-11998-9
  • Online ISBN 978-3-642-11999-6
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site