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
  2. Invited Papers

    1. Roberto Ierusalimschy
      Pages 1-12
    2. Claude Kirchner, Florent Kirchner, Hélène Kirchner
      Pages 13-26
  3. Contributed Papers

    1. Ignacio Castiñeiras, Fernando Sáenz-Pérez
      Pages 27-43
    2. Michael Leuschel, Salvador Tamarit, Germán Vidal
      Pages 111-127
    3. Francisco J. López-Fraguas, Enrique Martin-Martin, Juan Rodríguez-Hortalá
      Pages 128-144
    4. Manuel Montenegro, Ricardo Peña, Clara Segura
      Pages 145-161
  4. Back Matter

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
  • About this book