Functional and Logic Programming

5th International Symposium, FLOPS 2001 Tokyo, Japan, March 7–9, 2001 Proceedings

  • Herbert Kuchen
  • Kazunori Ueda

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

Table of contents

  1. Front Matter
    Pages I-X
  2. Invited Papers

  3. Functional Programming

    1. Olivier Danvy, Lasse R. Nielsen
      Pages 78-91
  4. Logic Programming

  5. Functional Logic Programming

    1. Jesús M. Almendros-Jiménez, Antonio Becerra-Terón
      Pages 153-169
    2. Rafael Caballero, Francisco J. López-Fraguas, Mario Rodrìguez-Artalejo
      Pages 170-184
    3. Taro Suzuki, Aart Middeldorp
      Pages 201-215
    4. Teresa Hortalá-González, Eva Ullán
      Pages 216-232
    5. C. Ferri-Ramírez, J. Hernández-Orallo, M.J. Ramírez-Quintana
      Pages 233-247
  6. Types

    1. Pierre Deransart, Jan-Georg Smaus
      Pages 280-295
  7. Program Analysis and Transformation

    1. Vitaly Lagoon, Peter J. Stuckey
      Pages 296-310

About these proceedings

Keywords

Lambda Calculus Logic Programming Meta-Programming Partial Evaluation Program Transformation Programm Analysis Type Systems functional programming logic programming

Editors and affiliations

  • Herbert Kuchen
    • 1
  • Kazunori Ueda
    • 2
  1. 1.Institut für WirtschaftsinformatikWestfälischeWilhelms-Universität MünsterMünsterGermany
  2. 2.Department of Information and Computer ScienceWaseda UniversityShinjuku-kuJapan

Bibliographic information

  • DOI https://doi.org/10.1007/3-540-44716-4
  • Copyright Information Springer-Verlag Berlin Heidelberg 2001
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-41739-2
  • Online ISBN 978-3-540-44716-0
  • Series Print ISSN 0302-9743
  • About this book