Advertisement

© 2001

Functional and Logic Programming

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

  • Herbert Kuchen
  • Kazunori Ueda
Conference proceedings FLOPS 2001

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